Browse by Journal

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

Number of items: 1.

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)

This list was generated on Sat May 4 22:37:27 2024 BST.