author : Jon D. Reese

Short works

• A CAD Environment for Safety-Critical Software. 1999. (In Industrial-Strength Formal Methods in Practice )