Publication | Closed Access

TAME: Using PVS strategies for special-purpose theorem proving