2nd BCS-FACS Northern Formal Methods Workshop
Subtitle: proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 14-15 July 1997
By: D.J. Duke and A.S. Evans, editors
Contributors: Duke, David J.; Evans, A. S.; British Computer Society.
Series: Electronic workshops in computing
Publisher: Springer
Published: 1998
Place of publication: London; New York
Language: eng
Number of pages: 11
Subjects: Computer science -- Congresses.; Computer software -- Development -- Congresses.; Real-time data processing -- Congresses.
Notes: "Published in collaboration with the British Computer Society."--T.p.