MPG.eBooks - Author Search Results

Cover Image

1

VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Published 1990

Springer Berlin Heidelberg

Other Authors: “...Hoare, C.A.R....”