A Verification Helper for Task Specifications

William Hankley, Peikun Tsai. A Verification Helper for Task Specifications. In SAC. pages 193-202, 1993. [doi]

Abstract

Abstract is missing.