ID:DA02211776
Logics of Programs and Their Applications, Symposium on
Logics of Programs Workshop
Search authors sharing the same name
edited by A. Salwicki
Springer-Verlag 1983 Lecture notes in computer science 148
: gw , : us
Available at 45 libraries
