Araki, Keijirō,, Galloway, Andy,Taguchi, Kenji. (Eds.) (©1999) IFM '99proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 London ; 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.
IFM '99 [electronic resource] : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /
Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.).
|Names:||Araki, Keijirō, | Galloway, Andy, | Taguchi, Kenji,|
|Published:||London ; Springer, ©1999.|
|Topics:||Formal methods (Computer science) - Congresses.|
|Genres:||Electronic books. | Conference proceedings.|