Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B

Number of items: 1.

B

Boiten, Eerke Albert (2011) Perspicuity and Granularity in Refinement. In: Proceedings 15th International Refinement Workshop. (doi:10.4204/EPTCS.55.10) (KAR id:30752)

This list was generated on Tue Apr 21 00:28:54 2026 BST.