Data di Pubblicazione:
2009
Tipologia CRIS:
1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
Elenco autori:
Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia; Carioni, Alessandro
Link alla scheda completa:
Titolo del libro:
Rigorous Methods for Software Construction and Analysis