Peikun Tsai

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

William J. Hankley, Peikun Tsai
A Verification Helper for Task Specifications. SAC (1993)
William J. Hankley, Peikun Tsai
Ada/TL specification and verification of a distributed computation. SAC (1992)