FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
type: Item
instance of: scholarly article
title: FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
zbMATH Open document ID: 0825.00100
published in: Lecture Notes in Computer Science
publication date: 1993-12-08T00:00:00Z
review text: The articles of this volume will not be indexed individually.
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 477970
zbMATH Keywords: Odense (Denmark)
zbMATH Keywords: FME '93
zbMATH Keywords: Industrial-strength formal methods
zbMATH Keywords: Formal methods
zbMATH Keywords: Symposium
zbMATH Keywords: Proceedings
MaRDI profile type: Publication
Wikidata QID: Q57733883
DOI: 10.1007/BFB0024633
Recommended article: FME 2003: Formal methods. International symposium of formal methods Europe, Pisa, Italy, September 8--14, 2003. Proceedings
Recommended article: FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings
Recommended article: Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15--18, 2002. Proceedings
Recommended article: Q4936347
Recommended article: Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6--10, 2023. Proceedings
Recommended article: FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18--22, 2005. Proceedings.
Recommended article: FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24--26, 2015. Proceedings
Recommended article: 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
Recommended article: Formal methods for industrial critical systems. Selected papers of the 2nd international workshop, Cesena, Italy, July 4--5, 1997
Recommended article: Integrated formal methods. 10th international conference, IFM 2013, Turku, Finland, June 10--14, 2013. Proceedings
description: scientific article; zbMATH DE number 477970