John Derrick , Eerke Boiten , Howard Bowman , Maarten Steen
July 1997
Proceedings of the 2nd BCS-FACS Northern Formal Methods (FM)
Northern Formal Methods
14-15 July 1997
Object-Z, LOTOS, Open Distributed Processing, Viewpoints, Consistency, Partial Specification
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/