John C. Knight, Michael F. Dunn. Software Quality Through Domain-Driven Certification. Ann. Software Eng., 5:293-315, 1998.
@article{KnightD98,
title = {Software Quality Through Domain-Driven Certification},
author = {John C. Knight and Michael F. Dunn},
year = {1998},
tags = {C++, certification},
researchr = {https://researchr.org/publication/KnightD98},
cites = {0},
citedby = {0},
journal = {Ann. Software Eng.},
volume = {5},
pages = {293-315},
}