Transition invariants (2004)

by A Podelski, A Rybalchenko
Venue:In 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04