D.L.: Better verification through symmetry. (1996)

by C N Ip, Dill
Venue:Formal Methods in System Design 9,