Search Results - Langmaack, Hans

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    VDM '90 VDM and Z - formal methods in software development

    VDM '90 VDM and Z - formal methods in software development by Bjorner, D. (Dines) 1937-, Hoare, C. A. R. (Charles Antony Richard) 1934-, Langmaack, Hans

    Published 1990

Search Tools: