FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
type: Item
instance of: scholarly article
title: FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
zbMATH Open document ID: 1175.68007
DOI: 10.1007/978-3-642-05089-3
published in: Lecture Notes in Computer Science
publication date: 2009-11-05T00:00:00Z
review text: For the preceding symposium FM 2008 see [Zbl 1138.68303]. The present volume consists of the proceedings of the 16th International Symposium on Formal Methods. Celebrating the 10th anniversary of the First World Congress on Formal Methods (cf. Zbl 0929.00076), the symposium was advertised and organised as the Second World Congress.
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Nxx
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 5625346
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-05089-3
OpenAlex ID: W96395447
description: scientific article; zbMATH DE number 5625346