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

Bibliographic Details
Corporate Authors: International Conference on Integrated Formal Methods Oxford, England, ProQuest (Firm)
Other Authors: Davies, Jim, 1964-, Gibbons, Jeremy, 1966-
Format: Electronic Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2007
Series:LNCS sublibrary Programming and software engineering.
Lecture notes in computer science 4591
Subjects:

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE