Transition invariants. (2004)

by A Podelski, A Rybalchenko
Venue:In Logic in Computer Science (LICS),