Location & Availability for: IFM '99 : proceedings of the 1st Interna

 Staff view

You must be logged in to Tag Records

IFM '99 : proceedings of the 1st International Conferenceon Integrated Formal Methods, York, 28-29 June 1999 /

Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)

Book Cover
Names: Araki, Keijirō, | Galloway, Andy, | Taguchi, Kenji,
Published: London ; Springer, c1999.
Topics: Formal methods (Computer science) - Congresses. | Formal methods (Computer science) - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: IFM '99 : proceedings of the 1st Interna