|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| tipoC-Bono-Damiani-Giachino:IFIP-TCS-2008 (In proceedings) | |
| Author(s) | Viviana Bono, Ferruccio Damiani and Elena Giachino |
| Title | « On Traits and Types in a Java-like Setting » |
| In | Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008 |
| Series | IFIP International Federation for Information Processing |
| Page(s) | 367-382 |
| Year | 2008 |
| Publisher | Springer |
| URL | http://www.di.unito.it/~damiani/papers/ifip-tcs-B-2008.html |
| BibTeX code |
@inproceedings{tipoC-Bono-Damiani-Giachino:IFIP-TCS-2008,
author = {Viviana Bono and Ferruccio Damiani and Elena Giachino},
series = {IFIP International Federation for Information Processing},
booktitle = {Fifth Ifip International Conference On Theoretical Computer
Science - Tcs 2008},
url = {http://www.di.unito.it/~damiani/papers/ifip-tcs-B-2008.html},
title = {On Traits and Types in a Java-like Setting},
tag = {TCS 2008, IFIP Volume 273/2008, pages 367-382, Springer
(http://dx.doi.org/10.1007/978-0-387-09680-3\_25)},
publisher = {Springer},
year = {2008},
pages = {367-382},
}
|
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)