A theory and practice of program developmentde Derek Andrews · Publicada por primera vez en 1997MateriasDevelopmentComputer programmingComputer softwareSpezifikationsspracheSoftwareentwicklungProgrammatuurtechniekVDMFormale SpezifikationstechnikFormal languagesSoftware engineering
SSemantics of Specification Languages (Sosl): Proceedings of Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)1994