FM 2012: Formal methods. 18th international symposium, Paris, France, August 27--31, 2012. Proceedings
type: Item
instance of: scholarly article
title: FM 2012: Formal methods. 18th international symposium, Paris, France, August 27--31, 2012. Proceedings
zbMATH Open document ID: 1250.68029
DOI: 10.1007/978-3-642-32759-9
published in: Lecture Notes in Computer Science
publication date: 2012-08-23T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Nxx
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6070675
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-32759-9
OpenAlex ID: W2479369740
Recommended article: FM 2008: Formal methods. 15th international symposium on formal methods, Turku, Finland, May 26--30, 2008. Proceedings
Recommended article: FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20--24, 2011. Proceedings
Recommended article: Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15--17, 2018. Proceedings
Recommended article: FM 2014: formal methods. 19th international symposium, Singapore, May 12--16, 2014. Proceedings
Recommended article: FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24--26, 2015. Proceedings
Recommended article: FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9--11, 2016. Proceedings
Recommended article: Formal methods. 24th international symposium, FM 2021, virtual event, November 20--26, 2021. Proceedings
Recommended article: FM 2006: Formal methods. 14th international symposium on formal methods, Hamilton, Canada, August 21--27, 2006. Proceedings
Recommended article: Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6--10, 2023. Proceedings
Recommended article: Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11--14, 2010. Proceedings
description: scientific article; zbMATH DE number 6070675