FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings

DOI10.1007/3-540-58555-9MaRDI QIDQ1339730zbMATH OpenOpenAlexFDO

Authors

Publication date 5 December 1994

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58555-9

zbMATH Keywords

Formal methodsProceedingsSymposiumBarcelona (Spain)FME '94

Mathematics Subject Classification ID

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

Recommendations

• FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
• FME 2003: Formal methods. International symposium of formal methods Europe, Pisa, Italy, September 8--14, 2003. Proceedings
• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
• Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21--25, 2002. Proceedings
• FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18--22, 2005. Proceedings.
• 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
• Software engineering and formal methods. 11th international conference, SEFM 2013, Madrid, Spain, September 25--27, 2013. Proceedings
• Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009
• FM 2014: formal methods. 19th international symposium, Singapore, May 12--16, 2014. Proceedings
• Formal methods for industrial critical systems. Selected papers of the 2nd international workshop, Cesena, Italy, July 4--5, 1997

Cited in

(2)

• An approach to literate and structured formal developments
• FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

This page was built for publication: FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1339730)