Commit e437edbe authored by Mihaela SIGHIREANU's avatar Mihaela SIGHIREANU
Browse files

bib: LMCS version of Kimura and Tatsuta

parent f4553bd0
......@@ -416,6 +416,20 @@ OPTseries = {ISMM 2020}
doi = {10.1109/LICS.2002.1029817},
}
@article{DBLP:journals/lmcs/KimuraT21,
author = {Daisuke Kimura and
Makoto Tatsuta},
title = {Decidability for Entailments of Symbolic Heaps with Arrays},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7472},
timestamp = {Tue, 01 Jun 2021 18:27:06 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KimuraT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05935,
author = {Daisuke Kimura and
Makoto Tatsuta},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment