author : Farn Wang

Short works

• Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. 1999. (In FM'99 volume 1 )