Detail publikace

Compositional Entailment Checking for a Fragment of Separation Logic

ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Faculty of Information Technology BUT, 2014. p. 1-19.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Enea Constantin
Lengál Ondřej, Ing., Ph.D. (UITS)
Sighireanu Mihaela, prof. Ing., PhD.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Rok
2014
Strany
1–19
Vydavatel
Faculty of Information Technology BUT
Místo
FIT-TR-2014-01, Brno
BibTeX 
@techreport{BUT192965,
  author="Constantin {Enea} and Ondřej {Lengál} and Mihaela {Sighireanu} and Tomáš {Vojnar}",
  title="Compositional Entailment Checking for a Fragment of Separation Logic",
  year="2014",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2014-01, Brno",
  pages="1--19"
}
Nahoru