Data di Pubblicazione:
2003
Abstract:
Tutorial Notes of the 12th International FME Symposium held in Pisa, September 8-12, 2003.
Tipologia CRIS:
05.12 Altro
Keywords:
Formal Methods
Elenco autori:
Massink, Mieke
Link alla scheda completa: