Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
by 
Touili, Tayssir. editor.
https://doi.org/10.1007/978-3-642-14295-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
by 
Alpuente, María. editor.
https://doi.org/10.1007/978-3-642-04570-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
by 
Cook, Byron. editor.
https://doi.org/10.1007/978-3-540-69738-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.