J. S. Fitzgerald , J. W. Bryans , D. Greathead , C. B. Jones , R. Payne
December 2007
FACS 2007 Christmas Workshop: Formal Methods in Industry (FMI)
Formal Methods in Industry
17 December 2007
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/