Detail publikace

Compositional Entailment Checking for a Fragment of Separation Logic

ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Fakulta informačních technologií VUT v Brně, 2014.
Typ
technická zpráva
Jazyk
angličtina
Autoři
Enea Constantin (LIAFA UP7/CNRS)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Sighireanu Mihaela (LIAFA UP7/CNRS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Rok
2014
Strany
1-19
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
FIT-TR-2014-01, Brno, CZ
BibTeX
@TECHREPORT{FITPUB10704,
   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 = "https://www.fit.vut.cz/research/publication/10704"
}
Nahoru