ID:DA02211765
Symposium on Logics of Programs and Their Applications
Search authors sharing the same name
edited by Edmund Clarke and Dexter Kozen
Springer-Verlag 1984 Lecture notes in computer science 164
: gw , : us
Available at 53 libraries
edited by Dexter Kozen
Springer-Verlag 1982 Lecture notes in computer science 131
Available at 56 libraries
