Integrated formal methods. 10th international conference, IFM 2013, Turku, Finland, June 10--14, 2013. Proceedings
scientific article; zbMATH DE number 6164292