Browse by Journal
Jump to: Edited Journal
Number of items: 1.
Edited Journal
Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2013) Proceedings of the 16th International BCS-FASCS Refinement Workshop, Turku. Proceedings 16th International Refinement Workshop, . ISSN 2075-2180. (doi:10.4204/EPTCS.115) (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:52724) |