FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
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.
scientific article; zbMATH DE number 5625346