Industrial-strength formal methods in practice /

Bibliographic Details

Other Authors:	Hinchey, Michael G. (Michael Gerard), 1969-, Bowen, J. P. (Jonathan Peter), 1956-
Format:	Book
Language:	English
Published:	London ; New York : Springer, [1999]
Series:	Formal approaches to computing and information technology.
Subjects:	Formal methods (Computer science)