Items where Author / Artist / Editor is "Antonopoulos, Timos"
|See full list of headings|
Conference or Workshop Item
Antonopoulos, Timos and Gorogiannis, Nikos and Haase, Christoph and Kanovich, Max and Ouaknine, Joël (2014) Foundations for decision problems in separation logic with general inductive predicates. In: 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014, 5-13 Apr 2014, Grenoble, France.