Limit Search Results
Author
Language
Format
Material Type
Subject
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000MAIN
Print
1. 
Cover image for Engineering dependable software systems
2. 
Cover image for Software safety and security : tools for analysis and verification
3. 
Cover image for Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
4. 
Cover image for Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
5. 
Cover image for Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
6. 
Cover image for Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings
7. 
Cover image for Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
8. 
Cover image for Verification of infinite-state systems with applications to security
9. 
Cover image for Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers