Proceedings of the 17th international conference on Computer Aided Verification

• Authors:

• Kousha Etessami;Sriram K. Rajamani

• Affiliations:

• LFCS, School of Informatics, University of Edinburgh;LFCS, School of Informatics, Microsoft Research India

• Venue:
• CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
• Year:
• 2005