Encoding the Program Correctness Proofs as Programs in PCC Technology | IEEE Conference Publication | IEEE Xplore