E. Clarke, D. Kozen

Logics of Programs - 1984 - Springer Berlin Heidelberg 1984 - Lecture Notes in Computer Science .

9783540387756


Computer Science