Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Formal Engineering Methods Seattle, Wash.
Other Authors:	Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike, 1957-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 3308.
Subjects:	Formal methods (Computer science) > Congresses. Software engineering > Congresses.
Online Access:	Connect to the full text of this electronic book

Remote Storage