Richard A. Kemmerer. Quality Assurance Working Group. In Peter Ryan, Chris T. Sennett, editors, Formal Methods in Systems Engineering. pages 88-91, Springer, 1993. [doi]
@incollection{Kemmerer93, title = {Quality Assurance Working Group}, author = {Richard A. Kemmerer}, year = {1993}, doi = {10.1007/978-1-4471-1975-3_10}, url = {https://doi.org/10.1007/978-1-4471-1975-3_10}, researchr = {https://researchr.org/publication/Kemmerer93}, cites = {0}, citedby = {0}, pages = {88-91}, booktitle = {Formal Methods in Systems Engineering}, editor = {Peter Ryan and Chris T. Sennett}, publisher = {Springer}, isbn = {978-3-540-19751-5}, }