author : Richard Verhoeven

Short works

• Interfacing Program Construction and Verification. 1999. (In FM'99 volume 2 )