Davies, Jim,Gibbons, Jeremy. (Eds.) (2007) Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings Berlin ; Springer,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Integrated formal methods [electronic resource] : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
Jim Davies, Jeremy Gibbons (eds.).
|Names:||Davies, Jim, | Gibbons, Jeremy,|
|Published:||Berlin ; Springer, c2007.|
Lecture notes in computer science, 4591
LNCS sublibrary. SL 2, Programming and software engineering
|Topics:||Formal methods (Computer science) - Congresses.|