Integrating Specification and Programs for System Modeling and Verification.

Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen

Browse the full TASE paper archive.