author : David M. Mihelcic

Short works

• How to Construct Formal Arguments that Persuade Certifiers. 1999. (In Industrial-Strength Formal Methods in Practice )