FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols
From MaRDI portal
Publication:1819248
zbMath0929.00076MaRDI QIDQ1819248
No author found.
Publication date: 6 January 2000
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (1)
This page was built for publication: FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols
