Kanth Miriyala, Mehdi T. Harandi. Analogical approach to specification derivation. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 203-210, ACM, 1989. [doi]
@inproceedings{MiriyalaH89,
title = {Analogical approach to specification derivation},
author = {Kanth Miriyala and Mehdi T. Harandi},
year = {1989},
doi = {10.1145/75200.75230},
url = {https://doi.org/10.1145/75200.75230},
researchr = {https://researchr.org/publication/MiriyalaH89},
cites = {0},
citedby = {0},
pages = {203-210},
booktitle = {Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989},
editor = {Sol J. Greenspan},
publisher = {ACM},
isbn = {978-0-89791-305-8},
}