• Martín Abadi Leslie Lamport (auth.) J. W. de Bakker W. -P. de Roever G. Rozenberg (eds.)

18 - 20Hours to read