Search Word(s) in Title, Keywords, Authors, and Abstract: Formal Verification

Verifying Code toward Trustworthy Software
Hyong-Soon Kim and Eunyoung Lee
Page: 309~321, Vol. 14, No.2, 2018
10.3745/JIPS.01.0027

Keywords: Certified Compiler, Formal Verification, Language Semantics, Program Verification
Show / Hide Abstract