Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator (1994)

by Peter V. Homeier , David F. Martin
Citations:21 - 1 self