1. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗