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

Field of Research

  • Computational Logic And Formal Languages

Updated:  17 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers