ID:DA02392422
Search authors sharing the same name
edited by D. Bjørner and O.N. Oest
Springer-Verlag 1980 Lecture notes in computer science 98
: gw , : us
Available at 63 libraries