Integrated formal methods: third international conference, IFM 2002, Turku, Finland, May 15 - 18, 2002 ; proceedings
Saved in:
Bibliographic Details
Format: Conference Proceeding Book
Language:English
Published: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002
Series:Lecture notes in computer science 2335
Subjects:
Physical Description:X, 399 S.
ISBN:3540437037

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!