Automatic Verification with Abstraction and Theorem Proving


Advisor(s):
Kuncak, Viktor
Year:
2013
Publisher:
Lausanne, EPFL
Keywords:
Other identifiers:
urn: urn:nbn:ch:bel-epfl-thesis5828-0
Laboratories:




 Record created 2013-07-31, last modified 2018-05-01

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)