Automatically enforcing quality in Ada software (panel)

Douglas Smith. Automatically enforcing quality in Ada software (panel). 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 167, ACM, 1993. [doi]

@inproceedings{Smith93-17,
  title = {Automatically enforcing quality in Ada software (panel)},
  author = {Douglas Smith},
  year = {1993},
  doi = {10.1145/260096.260351},
  url = {https://doi.org/10.1145/260096.260351},
  researchr = {https://researchr.org/publication/Smith93-17},
  cites = {0},
  citedby = {0},
  pages = {167},
  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},
}