author : David A. Naumann

Short works

• A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. 1999. (In FM'99 volume 2 )