Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
by 
Giese, Holger. editor.
https://doi.org/10.1007/978-3-642-30793-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
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
by 
Barringer, Howard. editor.
https://doi.org/10.1007/978-3-642-16612-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
by 
Meseguer, José. editor.
https://doi.org/10.1007/978-3-540-79980-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
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
by 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/11940197
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.