Data di Pubblicazione:
2003
Abstract:
no avaible
Tipologia CRIS:
03.12 Curatela di monografia/trattato scientifico
Keywords:
Formal Methods
Elenco autori:
Massink, Mieke
Link alla scheda completa: