Technical report

ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Faculty of Information Technology BUT, 2014.
Publication language:english
Original title:Compositional Entailment Checking for a Fragment of Separation Logic
Pages:1-19
Place:FIT-TR-2014-01, Brno, CZ
Year:2014
Publisher:Faculty of Information Technology BUT
BibTeX:
@TECHREPORT{
   author = {Constantin Enea and Ond{\v{r}}ej Leng{\'{a}}l and Mihaela
	Sighireanu and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Compositional Entailment Checking for a Fragment of
	Separation Logic},
   pages = {1--19},
   year = {2014},
   location = {FIT-TR-2014-01, Brno, CZ},
   publisher = {Faculty of Information Technology BUT},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10704}
}

Your IPv4 address: 54.81.6.121
Switch to IPv6 connection

DNSSEC [dnssec]