Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Journal

[up] Up a level
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: Edited Journal
Number of items: 1.

Edited Journal

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)

This list was generated on Sun Apr 25 23:56:49 2021 BST.
SensusAccess
Feedback