Constraint Specialisation in Horn Clause Verification.

Bishoksan Kafle, John P. Gallagher

Browse the full PEPM paper archive.