ID:DA0134634X
VDM
Search authors sharing the same name
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
Springer-Verlag c1990 Lecture notes in computer science 428
: gw , : us
Available at 55 libraries
R. Bloomfield, L. Marshall, R. Jones (eds.)
Springer-Verlag c1988 Lecture notes in computer science 328
Available at 51 libraries
edited by D. Bjørner ... [et al.]
Springer-Verlag c1987 Lecture notes in computer science 252
Available at 52 libraries
