Software engineering and formal methods. 11th international conference, SEFM 2013, Madrid, Spain, September 25--27, 2013. Proceedings
scientific article; zbMATH DE number 6211055