FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20--24, 2011. Proceedings
scientific article; zbMATH DE number 5911788