Automated Theorem Proving for Assertions in Separation Logic with All Connectives
Citation
Hou, Z, Gore, R & Tiu, A 2015, 'Automated Theorem Proving for Assertions in Separation Logic with All Connectives', 25th International Conference on Automated Deduction CADE 2015, ed. Amy P. Felty, Aart Middeldorp, Springer International Publishing AG, Switzerland, pp. 501-516.Year
2015ANU Authors
Field of Research
- Computational Logic And Formal Languages