David Lorge Parnas, Sergiy A. Vilkomir. Precise Documentation of Critical Software. In Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. pages 237-244, IEEE Computer Society, 2007. [doi]
@inproceedings{ParnasV07, title = {Precise Documentation of Critical Software}, author = {David Lorge Parnas and Sergiy A. Vilkomir}, year = {2007}, doi = {10.1109/HASE.2007.63}, url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.63}, researchr = {https://researchr.org/publication/ParnasV07}, cites = {0}, citedby = {0}, pages = {237-244}, booktitle = {Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA}, publisher = {IEEE Computer Society}, }