Mark Dowson. Automatically enforcing quality in Ada software. 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 168, ACM, 1993. [doi]
@inproceedings{Dowson93-0, title = {Automatically enforcing quality in Ada software}, author = {Mark Dowson}, year = {1993}, doi = {10.1145/260096.260357}, url = {https://doi.org/10.1145/260096.260357}, researchr = {https://researchr.org/publication/Dowson93-0}, cites = {0}, citedby = {0}, pages = {168}, 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}, }