Predicate Abstraction in a Program Logic Calculus.

Benjamin Wei

Browse the full IFM paper archive.