|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Gia+Ser+Zuc-OOPS-17 (In proceedings) | |
| Author(s) | Paola Giannini, Marco Servetto and Elena Zucca |
| Title | « A type and effect system for sharing » |
| In | Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 |
| Editor(s) | Ahmed Seffah, Birgit Penzenstadler, Carina Alves and Xin Peng |
| Page(s) | 1513--1515 |
| Year | 2017 |
| Publisher | ACM |
| URL | http://doi.acm.org/10.1145/3019612.3019890 |
| BibTeX code |
@inproceedings{Gia+Ser+Zuc-OOPS-17,
author = {Paola Giannini and Marco Servetto and Elena Zucca},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017,
Marrakech, Morocco, April 3-7, 2017},
editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin
Peng},
url = {http://doi.acm.org/10.1145/3019612.3019890},
title = {A type and effect system for sharing},
publisher = {{ACM}},
year = {2017},
doi = {10.1145/3019612.3019890},
pages = {1513--1515},
}
|
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)