Verifying Java Programs By Theorem Prover HOL | IEEE Conference Publication | IEEE Xplore