Publications
From vecolib
| [1] | Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomás Vojnar. Compositional entailment checking for a fragment of separation logic. In Garrigue [2], pages 314-333. [ bib | DOI | http ] |
| [2] | Jacques Garrigue, editor. Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, volume 8858 of Lecture Notes in Computer Science. Springer, 2014. [ bib | DOI | http ] |
| [3] | Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Deciding entailments in inductive separation logic with tree automata. In Cassez and Raskin [4], pages 201-218. [ bib | DOI | http ] |
| [4] | Franck Cassez and Jean-François Raskin, editors. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837 of Lecture Notes in Computer Science. Springer, 2014. [ bib | DOI | http ] |
| [5] | Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Abstraction refinement for trace inclusion of data automata. CoRR, abs/1410.5056, 2014. [ bib | http ] |
This file was generated by bibtex2html 1.96.
