Data di Pubblicazione:
2000
Abstract:
An abstract is not available
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Formal methods; Formal description techniques (FDT); Modelling specifications; Verification
Elenco autori:
Gnesi, Stefania
Link alla scheda completa: