|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| GianniniSZ18c (Article) | |
| Author(s) | Paola Giannini, Marco Servetto, Elena Zucca and James Cone |
| Title | « Flexible recovery of uniqueness and immutability (Extended Version) » |
| Journal | CoRR |
| Volume | abs/1807.00137 |
| Year | 2018 |
| URL | http://arxiv.org/abs/1807.00137 |
| BibTeX code |
@article{GianniniSZ18c,
archiveprefix = {arXiv},
volume = {abs/1807.00137},
bibsource = {dblp computer science bibliography, https://dblp.org},
author = {Paola Giannini and Marco Servetto and Elena Zucca and James Cone},
timestamp = {Mon, 13 Aug 2018 16:46:00 +0200},
url = {http://arxiv.org/abs/1807.00137},
title = {Flexible recovery of uniqueness and immutability (Extended Version)},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1807-00137},
eprint = {1807.00137},
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)