Limit Search Results
Author
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518840.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Author 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519205.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Availability 
Online Library~1
Available:
Copies: