Denise M. Woit. Specifying Operational Profiles for Modules. In ISSTA. pages 2-10, 1993. [doi]
@inproceedings{Woit93, title = {Specifying Operational Profiles for Modules}, author = {Denise M. Woit}, year = {1993}, doi = {10.1145/154183.154187}, url = {http://doi.acm.org/10.1145/154183.154187}, researchr = {https://researchr.org/publication/Woit93}, cites = {0}, citedby = {0}, pages = {2-10}, booktitle = {ISSTA}, }