Mathematics-Based Software Engineering for Completely Validated Software.

Richard C. Linger

Browse the full ICSE paper archive.