Integrated formal methods. 11th international conference, IFM 2014, Bertinoro, Italy, September 9--11, 2014. Proceedings
scientific article; zbMATH DE number 6474404