Conference Contribution Details
Mandatory Fields
Marie Farrell and Rosemary Monahan and James F. Power
32nd British Colloquium of Theoretical Computer Science
A Logical Framework for Integrating Software Models via Refinement
Belfast, Northern Ireland
Non Refereed Paper/Abstract Presented at Conference
2016
()
0
Optional Fields
22-MAR-16
24-MAR-16