Browse by Journal
Number of items: 1.
Boiten, Eerke Albert and Derrick, John and Reeves, Steve, eds. (2016) Proceedings 17th International BCS-FACS Refinement Workshop. Proceedings 17th International Workshop on Refinement, . ISSN 2075-2180. (Submitted) (doi:10.4204/EPTCS.209) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:52725) |