Better verification through symmetry (1996)

by C Ip, D Dill
Venue:Formal Methods in System Design 9:41–75