Items where Author / Artist / Editor is "Pérez, Juan A. Navarro"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Brotherston, James, Fuhs, Carsten, Pérez, Juan A. Navarro and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609
(2014)
A decision procedure for satisfiability in separation logic with inductive predicates.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14.
In: CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria.
ISBN 9781450328869.
[Conference or Workshop Item]
(doi:10.1145/2603088.2603091)