scientific article; zbMATH DE number 1090985

MaRDI QIDQ4366807zbMATH OpenFDO

Authors

Publication date 25 November 1997

zbMATH Keywords

ConferenceFMP '97Formal methods Pacific '97ProceedingsWellington (New Zealand)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

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

Cited in

(1)

• scientific article; zbMATH DE number 1258627 (Why is no real title available?)

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)