Inproceedings,

The Data Derivation Model: A Program Specification Technique That Improves Reusability.

, , , and .
SAC, page 95-102. ACM, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews