Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ENEA, C. LENGÁL, O. SIGHIREANU, M. VOJNAR, T.
Originální název
Compositional Entailment Checking for a Fragment of Separation Logic
Typ
zpráva odborná
Jazyk
angličtina
Autoři
ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T.
Vydáno
25. 8. 2014
Nakladatel
Faculty of Information Technology BUT
Místo
FIT-TR-2014-01, Brno
Strany od
1
Strany do
19
Strany počet
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" }