VDM '90 VDM and Z - formal methods in software development - International Symposium of VDM Europe; Bjorner, D. (Dines) 1937-; Hoare, C. A. R. (Charles Antony Richard) 1934-; Langmaack, Hans (Berlin Springer-Verlag, 1990)
Keywords: Computer software -- Development -- Congresses