Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

Bibliographic Details
Main Authors:	International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), Davies, Jim, 1964-, Gibbons, Jeremy, 1966-
Format:
Language:	eng
Published:	Berlin : Springer-Verlag, 2007
Subjects:	Formal methods (Computer science)
Online Access:	http://dx.doi.org/10.1007/978-3-540-73210-5

Internet