Communiqués par World Congress on Formal Methods in the Development of Computing Systems

Cover for World Congress on Formal Methods in the Development of Computing Systems · Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1999)
Paperback Book
1999 edition
Fm 99 - Formal Methods: World Co...
World Congress on Formal Methods...