• Martín Abadi Leslie Lamport Pierre Wolper (auth.) Giorgio Ausiello Mariangiola Dezani-Ciancaglini Simonetta Ronchi Della Rocca (eds.)

18 - 20Hours to read