|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| GianniniSZ18b (Article) | |
| Author(s) | Paola Giannini, Tim Richter, Marco Servetto and Elena Zucca |
| Title | « Tracing sharing in an imperative pure calculus (Extended Version) » |
| Journal | CoRR |
| Volume | abs/1803.05838 |
| Year | 2018 |
| URL | http://arxiv.org/abs/1803.05838 |
| BibTeX code |
@article{GianniniSZ18b,
archiveprefix = {arXiv},
volume = {abs/1803.05838},
bibsource = {dblp computer science bibliography, https://dblp.org},
author = {Paola Giannini and Tim Richter and Marco Servetto and Elena Zucca},
timestamp = {Mon, 13 Aug 2018 16:49:07 +0200},
url = {http://arxiv.org/abs/1803.05838},
title = {Tracing sharing in an imperative pure calculus (Extended Version)},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1803-05838},
eprint = {1803.05838},
journal = {CoRR},
year = {2018},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)