September 1996
Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)
Northern Formal Methods
23-24 September 1996
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/