Article,

A Technique for the Specification of Software Modules with Examples

.
Communications of the ACM, 15 (5): 330--336 (May 1972)

Meta data

Tags

Users

  • @snowball

Comments and Reviews