Detail publikace

Compositional Entailment Checking for a Fragment of Separation Logic

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

19

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"
}