 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2006 | |
| Piccolo | "Strutture ad Eventi e Strategie: un Ponte fra Teoria della Concorrenza e Semantica dei Giochi" Master's thesis: Tesi di Laurea in Informatica. |
| 2002 | |
| Troina | "Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici" Master's thesis. |
| 2000 | |
| Paolini | "Élements de Ludique" Master's thesis: DEA en Mathématiques Discrètes et Fondements de l'Informatique. |
| 1998 | |
| Paolini | "La chiamata per Valore e La valutazione pigra nel -calcolo" Master's thesis: Tesi di Laurea in Scienza dell'Informazione. |
|
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)
