ID:DA02210809
Winter School on Abstract Software Specifications, Copenhagen
Search authors sharing the same name
edited by D. Bjørner
Springer-Verlag 1980 Lecture notes in computer science 86
: gw , : us
Available at 51 libraries