Cheryl Barbasch. Experience using ASIS for specialized verification tools. In Judah Mogilensky, Brad Balfour, editors, Proceedings of the Tenth Annual Washington Ada Symposium on Ada - Ada's Role in Software Engineering, WADAS 1993, McLean, Virginia, USA, June 28 - July 1, 1993. pages 160-162, ACM, 1993. [doi]
@inproceedings{Barbasch93,
title = {Experience using ASIS for specialized verification tools},
author = {Cheryl Barbasch},
year = {1993},
doi = {10.1145/260096.260345},
url = {https://doi.org/10.1145/260096.260345},
researchr = {https://researchr.org/publication/Barbasch93},
cites = {0},
citedby = {0},
pages = {160-162},
booktitle = {Proceedings of the Tenth Annual Washington Ada Symposium on Ada - Ada's Role in Software Engineering, WADAS 1993, McLean, Virginia, USA, June 28 - July 1, 1993},
editor = {Judah Mogilensky and Brad Balfour},
publisher = {ACM},
isbn = {978-0-89791-609-7},
}