John Penix, Perry Alexander. Using Formal Specifications for Component Retrieval and Reuse. In HICSS (5). pages 356, 1998. [doi]
@inproceedings{PenixA98, title = {Using Formal Specifications for Component Retrieval and Reuse}, author = {John Penix and Perry Alexander}, year = {1998}, url = {http://computer.org/proceedings/hicss/8239/82390356abs.htm}, tags = {reusable components, reuse}, researchr = {https://researchr.org/publication/PenixA98}, cites = {0}, citedby = {0}, pages = {356}, booktitle = {HICSS (5)}, }