CIMATO, STELVIO

CIMATO, STELVIO  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Animating a non-executable formal specification with a distributed symbolic language Ciancarini, P.; Cimato, S. 1996-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -