451. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015) Editors: Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th Record Type: Book Extent: 1 online resource (xi, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
452. 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) ↗
453. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017) Editors: Cimatti, Alessandro; Sirjani, Marjan Other Names: International Conference on Software Engineering and Formal Methods, 15th Record Type: Book Extent: 1 online resource (xix, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
454. 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) ↗
455. Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers. ([2015]) Editors: Canal, Carlos; Idani, Akram Other Names: International Conference on Software Engineering and Formal Methods, 12th; Workshop on Human-Oriented Formal Methods -- from Readability to Automation, 1st; SAFOME (Workshop), 1st; OpenCert (Workshop), 8th; MoKMaSD (Workshop), 3rd; WS-FMDS (Workshop), 4th Record Type: Book Extent: 1 online resource (xxvii, 405 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
456. Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. (2015) Editors: Fantechi, Alessandro; Pelliccione, P (Patrizio) Other Names: SERENE (Workshop), 7th Record Type: Book Extent: 1 online resource (ix, 145 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
457. Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. (2016) Editors: Crnkovic, Ivica; Troubitsyna, Elena (Elena A.), 1970- Other Names: SERENE (Workshop), 8th Record Type: Book Extent: 1 online resource (ix, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
458. Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. (2017) Editors: Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970- Other Names: SERENE (Workshop), 9th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
459. Software reuse : bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /: bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings. (2016) Editors: Kapitsaki, Georgia M; Almeida, Eduardo (Eduardo Santana de) Other Names: International Conference on Software Reuse, 15th Record Type: Book Extent: 1 online resource (xi, 412 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
460. Software technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised selected papers /: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised selected papers. (2016) Editors: Lorenz, Pascal, 1965-; Cardoso, Jorge, 1970-; Maciaszek, Leszek; Sinderen, Marten J. van, 1958- Other Names: ICSOFT (Conference), 10th Record Type: Book Extent: 1 online resource (xv, 431 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗