Files
Details
Title
Automatic Verification with Abstraction and Theorem Proving
Author(s)
Hojjat, Hossein
Advisor(s)
Date
2013
Publisher
Lausanne, EPFL
Language
English
Other identifier(s)
urn: urn:nbn:ch:bel-epfl-thesis5828-0
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Scientific production and competences > EPFL Theses
Work produced at EPFL
Published
Theses
Scientific production and competences > EPFL Theses
Work produced at EPFL
Published
Theses
Record creation date
2013-07-31