Proving Invariants via Rewriting and Abstraction (2005)

by Rob Sumners , Sandip Ray
Citations:2 - 2 self