FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings (Q1036131): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/978-3-642-05089-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W96395447 / rank | |||
Normal rank | |||
Latest revision as of 00:22, 20 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings |
scientific article |
Statements
FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings (English)
0 references
5 November 2009
0 references
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.
0 references
