Title: VDM '90 VDM and Z -- Formal Methods in Software Development
Subjects: Logic design, Logics and Meanings of Programs, Software Engineering, Software engineering, Computer Science, Computer science, Computer programming, Computer software, development, Electronic data processing, Informatique, Génie logiciel, Structure logique, Data processing