Publication Date:
2009
Iris type:
1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
List of contributors:
Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia; Carioni, Alessandro
Book title:
Rigorous Methods for Software Construction and Analysis