VDM '90 VDM and Z -- Formal Methods in Software Developmentde C.A.R. HoareMateriasLogic designLogics and Meanings of ProgramsSoftware EngineeringSoftware engineeringComputer ScienceComputer scienceComputer programmingComputer software, developmentElectronic data processingInformatique
VVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90. VDM and Z - Formal Methods in Software Development
LLogic of Programming and Calculi of Discrete DesignLogic of Programming and Calculi of Discrete Design
