ISBN: 9783319104300 - software engineering and formal methods: 12th international conference, sefm 2014, grenoble, france, september 1-5, 2014, proceedings (programming and software engineering, band 8702) (1 Ergebnisse)