A property-based method for selecting among multiple implementations of modules

This publication has 7 references indexed in Scilit:

• Experience with a data base of programs
  Published by Association for Computing Machinery (ACM) ,1987
• A UNIX-based System for Software Configuration Management
  The Computer Journal, 1986
• The Mesa programming environment
  Published by Association for Computing Machinery (ACM) ,1985
• Programming in Modula-2
  Published by Springer Nature ,1983
• More thoughts on specification and verification
  ACM SIGSOFT Software Engineering Notes, 1981
• Early experience with Mesa
  Communications of the ACM, 1977
• A technique for software module specification with examples
  Communications of the ACM, 1972