scientific article; zbMATH DE number 1090985
From MaRDI portal
Publication:4366807
zbMATH Open0877.00014MaRDI QIDQ4366807FDOQ4366807
Authors:
Publication date: 25 November 1997
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1258627
- scientific article; zbMATH DE number 1393368
- Special issue: Proceedings of the international summer school and workshop on Formal models of programming and their applications, Beijing, China, September 17--20, 1997
- 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
- FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
- FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18--22, 2005. Proceedings.
- Formal Methods: State of the Art and New Directions
- FM 2014: formal methods. 19th international symposium, Singapore, May 12--16, 2014. Proceedings
- Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16--19, 2009. Proceedings
- Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366807)
