Chia-Chu Chiang, David Neubart
Constructing Reusable Specifications Through Analogy
SAC, 1999.
@inproceedings{SAC-1999-ChiangN, author = "Chia-Chu Chiang and David Neubart", booktitle = "{Proceedings of the 14th Symposium on Applied Computing}", doi = "10.1145/298151.298481", pages = "586--592", publisher = "{ACM}", title = "{Constructing Reusable Specifications Through Analogy}", year = 1999, }