author : J. Eric Klinker

Short works

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