Tools and Verification

Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino,

Publisher	Springer-Verlag
Series	Lecture Notes in Computer Science
Volume	6582
ISBN	978-3-642-20400-5
Publisher	Springer-Verlag
Series	Lecture Notes in Computer Science
Volume	6582
ISBN	978-3-642-20400-5

Publication