author : Robert Eschbach

Short works

• A Termination Detection Algorithm: Specification and Verification. 1999. (In FM'99 volume 2 )