Research |
8. Errata-Corrige of BIT Paper (1985)
Old Research Projects
· Galileo Project with ENS, Cachan, France (http://www.crui.it/)
·
Sistemi formali per la Specifica, l'Analisi, la Verifica, la Sintesi e
la Trasformazione di Sistemi Software (details)
========================================================================