|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| klaim2003 (In proceedings) | |
| Author(s) | L. Bettini, Viviana Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, Rosario Pugliese, E. Tuosto and B. Venneri |
| Title | « The Klaim Project: Theory and Practice » |
| 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/klaim-gen.pdf |
| BibTeX code |
@inproceedings{klaim2003,
volume = {2874},
author = {L. Bettini and Viviana Bono and R. De Nicola and G. Ferrari and D.
Gorla and M. Loreti and E. Moggi and Rosario Pugliese and E. Tuosto
and B. Venneri},
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/klaim-gen.pdf},
title = {The {K}laim {P}roject: {T}heory and {P}ractice},
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)