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-9zbMATH Open0802.00034OpenAlexW2477536926MaRDI QIDQ1339730FDOQ1339730
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
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
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (2)
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)
