Richard C. Linger. Mathematics-Based Software Engineering for Completely Validated Software. In ICSE. pages 358, 1989.
@inproceedings{Linger01,
title = {Mathematics-Based Software Engineering for Completely Validated Software},
author = {Richard C. Linger},
year = {1989},
tags = {rule-based, software engineering, C++},
researchr = {https://researchr.org/publication/Linger01},
cites = {0},
citedby = {0},
pages = {358},
booktitle = {ICSE},
}