Publication | Closed Access

Proving Invariants of I/O Automata with TAME