Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1--5, 2016. Proceedings
scientific article; zbMATH DE number 6584170