Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
Corporate Authors: | , |
---|---|
Other Authors: | , |
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
Call Number: |
INTERNET RESOURCE |
---|