author : Andrew P. Moore

Short works

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