Automating quality standards in the development of Ada software

Daniel Ehrenfried. Automating quality standards in the development of 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 169, ACM, 1993. [doi]

@inproceedings{Ehrenfried93,
  title = {Automating quality standards in the development of Ada software},
  author = {Daniel Ehrenfried},
  year = {1993},
  doi = {10.1145/260096.260360},
  url = {https://doi.org/10.1145/260096.260360},
  researchr = {https://researchr.org/publication/Ehrenfried93},
  cites = {0},
  citedby = {0},
  pages = {169},
  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},
}