FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings (Q1036131)
From MaRDI portal
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
