Data di Pubblicazione:
2007
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Elenco autori:
Faconti, Giorgio; Massink, Mieke
Link alla scheda completa:
Titolo del libro:
Interactive Systems. Design, Specification, and Verification