home
>
book reviews
> Farn Wang
Google >
Farn Wang
author : Farn Wang
Short works
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. 1999.
(In
FM'99 volume 1
)