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,
}











