Transition Invariants (2004)

by A Podelski, A Rybalchenko
Venue:In Proc. 19th LICS