Tools and Verification [chapter]

Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino
2011 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-20401-2_19 fatcat:eft2ojsagvenjigmpekmw4u5uu