Computer Formalization of Deletion-Correcting Permutation Codes | IEEE Conference Publication | IEEE Xplore