Loading...
report
On Using First-Order Theorem Provers in a the Jahob Data Structure Verification System
2006
Loading...
Name
BouillaguetETAL06UsingFirstOrderTheoremProvers.pdf
Access type
openaccess
Size
240.9 KB
Format
Adobe PDF
Checksum (MD5)
d65df0425e0ad4df3e2ab5f55b91347d