Loading...
conference paper
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
2007
Verification, Model Checking and Abstract Interpretation
Loading...
Name
BouillaguetETAL07UsingFirstOrderTheoremProvers.pdf
Access type
openaccess
Size
168.44 KB
Format
Adobe PDF
Checksum (MD5)
be7dddcab0363effb2d2e5f6a73b43ab