Transition Invariants

by Andreas Podelski , Andrey Rybalchenko
Citations:70 - 13 self