Verified heap theorem prover by paramodulation
- Gordon Stewart
- , Lennart Beringer
- , Andrew W. Appel
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6
Link opens in a new tab
Scopus
citations