Automated Temporal Verification of Integrated Dependent Effects.

Yahui Song, Wei-Ngan Chin

Browse the full ICFEM paper archive.