Specifying and Verifying Future Conditions.

Yahui Song, Darius Foo, Wei-Ngan Chin

Browse the full SAS paper archive.