Infoscience
Automatic Verification with Abstraction and Theorem Proving
EPFL_TH5828.pdf
openaccess
1.34 MB
Adobe PDF
caaf63803db247753027285de9b5b78a