Proving Invariants of I/O Automata with TAME (2002)

by Myla Archer , Constance Heitmeyer , Elvinia Riccobene
Citations:17 - 11 self