Reasoning about Programs by Exploiting the Environment.

Limor Fix, Fred B. Schneider

Browse the full ICALP paper archive.