doctoral thesis

Automatic Verification with Abstraction and Theorem Proving

Hojjat, Hossein  
2013
Loading...
Thumbnail Image
Name

EPFL_TH5828.pdf

Access type

openaccess

Size

1.34 MB

Format

Adobe PDF

Checksum (MD5)

caaf63803db247753027285de9b5b78a