Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/

57

Bibliographic Details
Main Authors: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), Butler, Michael G., Hinchey, Michael G, Larrondo-Petrie, Maria M
Format:
Language:eng
Published: Berlin : Springer-Verlag, 2007
Subjects:
Formal methods (Computer science)
Software engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-76650-6

Similar Items

Similar Items