Publication Details
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.
Type
report
Language
English
Authors
Enea Constantin
Lengál Ondřej, Ing., Ph.D. (DITS)
Sighireanu Mihaela, prof. Ing., PhD.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Lengál Ondřej, Ing., Ph.D. (DITS)
Sighireanu Mihaela, prof. Ing., PhD.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Published
2014
Pages
1–19
Publisher
Faculty of Information Technology BUT
Place
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"
}