A Verification Helper for Task Specifications.

William J. Hankley, Peikun Tsai

Browse the full SAC paper archive.