|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Bono:tutorial (In proceedings) | |
| Author(s) | Viviana Bono |
| Title | « Extensible Objects: a Tutorial » |
| In | Global Computing - Programming Environments, Languages, Security and Analysis of Systems |
| Series | LNCS |
| Volume | 2874 |
| Year | 2003 |
| Publisher | Springer-Verlag |
| URL | http://www.di.unito.it/~bono/papers/tut.pdf |
| BibTeX code |
@inproceedings{Bono:tutorial,
volume = {2874},
author = {Viviana Bono},
series = {LNCS},
booktitle = {Global {C}omputing - {P}rogramming {E}nvironments, {L}anguages,
{S}ecurity and {A}nalysis of {S}ystems},
url = {http://www.di.unito.it/~bono/papers/tut.pdf},
title = {Extensible {O}bjects: a {T}utorial},
publisher = {Springer-Verlag},
year = {2003},
}
|
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)