Kuo-Chung Tai. An approach to testing concurrent Ada programs. In Robert J. Knapper, David Dikel, editors, Proceedings of the Third Annual Washington Ada Symposium on Ada - Ada Use in Focus : Practical Lessons in Perspective, WADAS 1986, Laurel, Maryland, USA, 1986. pages 253-264, ACM, 1986. [doi]
@inproceedings{Tai86,
title = {An approach to testing concurrent Ada programs},
author = {Kuo-Chung Tai},
year = {1986},
doi = {10.1145/339665.339698},
url = {https://doi.org/10.1145/339665.339698},
researchr = {https://researchr.org/publication/Tai86},
cites = {0},
citedby = {0},
pages = {253-264},
booktitle = {Proceedings of the Third Annual Washington Ada Symposium on Ada - Ada Use in Focus : Practical Lessons in Perspective, WADAS 1986, Laurel, Maryland, USA, 1986},
editor = {Robert J. Knapper and David Dikel},
publisher = {ACM},
isbn = {978-1-4503-7323-4},
}