Property Dependent Abstraction of Control Structure for Software Verification.

Thomas Firley, Ursula Goltz

Browse the full FM paper archive.