Kurt M. Olender, James M. Bieman. Using algebraic specifications to find sequencing defects. In Fourth International Symposium on Software Reliability Engineering, ISSRE 1993, Denver, CO, USA, November 3-6, 1993. pages 226-232, IEEE, 1993. [doi]
@inproceedings{OlenderB93, title = {Using algebraic specifications to find sequencing defects}, author = {Kurt M. Olender and James M. Bieman}, year = {1993}, doi = {10.1109/ISSRE.1993.624292}, url = {http://dx.doi.org/10.1109/ISSRE.1993.624292}, researchr = {https://researchr.org/publication/OlenderB93}, cites = {0}, citedby = {0}, pages = {226-232}, booktitle = {Fourth International Symposium on Software Reliability Engineering, ISSRE 1993, Denver, CO, USA, November 3-6, 1993}, publisher = {IEEE}, isbn = {0-8186-4010-3}, }