Proving invariants of I/O automata with TAME (0)

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