Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /

Bibliographic Details
Corporate Author:	International Conference on Integrated Formal Methods Canterbury, England
Other Authors:	Boiten, Eerke, 1966-, Derrick, John, 1963-, Smith, Graeme, 1966-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; Hong Kong : Springer-Verlag, [2004]
Series:	Lecture notes in computer science. 2999.
Subjects:	Formal methods (Computer science) > Congresses.

Remote Storage