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

by M Archer, C Heitmeyer, E Riccobene
Venue:In Automated Software Engineering,