[1]
S. Ripon and A. Miller, “Verification of Symmetry Detection using PVS”,
ECEASST
, vol. 35, Apr. 2011.