Automated Verification Using Unified Control Flows.

Cristian Gherghina, Cristina David

Browse the full TASE paper archive.