Huiming Yu, Albert C. Esterline, Joseph Monroe. Object Oriented Formal Specifications to Support Ada 95 Reuse. In TRI-Ada. pages 125-131, 1996. [doi]
@inproceedings{YuEM96,
title = {Object Oriented Formal Specifications to Support Ada 95 Reuse},
author = {Huiming Yu and Albert C. Esterline and Joseph Monroe},
year = {1996},
doi = {10.1145/240678.240709},
url = {http://doi.acm.org/10.1145/240678.240709},
tags = {reuse, C++},
researchr = {https://researchr.org/publication/YuEM96},
cites = {0},
citedby = {0},
pages = {125-131},
booktitle = {TRI-Ada},
}