1. Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /: 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. (2016) Editors: De Nicola, Rocco; Kühn, Eva Other Names: International Conference on Software Engineering and Formal Methods, 14th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xv, 419 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗