Automatic Verification with Abstraction and Theorem Proving


Directeur(s):
Kuncak, Viktor
Année
2013
Publisher:
Lausanne, EPFL
Mots-clefs:
Autres identifiants:
urn: urn:nbn:ch:bel-epfl-thesis5828-0
Laboratoires:




 Notice créée le 2013-07-31, modifiée le 2018-09-13

n/a:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)