Skip navigation
The Australian National University

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

2015

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers