Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Author 
Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518776.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Author 
Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85114-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Author 
Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11940197
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Author 
Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20398-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Author 
Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16612-9
Format: 
Availability 
Online Library~1
Available:
Copies: