A method for the development of correct software

This publication has 16 references indexed in Scilit:

• Formal Foundations for Pragmatic Software Engineering Methods
  Published by Springer Nature ,1994
• Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic Methods
  Published by Springer Nature ,1994
• Specification and Transformation of Programs
  Published by Springer Nature ,1990
• Algebraic formalisation of program development by transformation
  Published by Springer Nature ,1988
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987
• Support environments for VDM
  Published by Springer Nature ,1987
• Algorithmic Language and Program Development
  Published by Springer Nature ,1982
• The Science of Programming
  Published by Springer Nature ,1981
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• A system which automatically improves programs
  Acta Informatica, 1976