Verifying Code toward Trustworthy Software

Hyong-Soon Kim, Eunyoung Lee. Verifying Code toward Trustworthy Software. JIPS, 14(2):309-321, 2018. [doi]

Abstract

Abstract is missing.