Open AccessVDM '88 VDM — The Way Ahead
Author(s) -
D Barstow,
W Brauer,
P Brinch,
Hansen Gries,
D Luckham,
C Moler,
Amir Pnueli,
G Seegm,
Jller Stoer,
Niklaus Wirth,
E Bloomfield Adelard,
Lynn Marshall
Publication year - 1988
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/3-540-50214-9
Subject(s) - computer science , software engineering , formal methods , programming language
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom