Formal program developmentde Helmut A. Partsch, Bernhard Moller, Helmut PartschMateriasDevelopmentComputer programmingComputer softwareFormalisierungProgrammationDéveloppementProgrammation (Informatique)SoftwareentwicklungLogiciels