Lifting General Correctness into Partial Correctness is

Steve Dunne, Andy Galloway

Browse the full IFM paper archive.