Verifying Java Programs By Theorem Prover HOL.

Anduo Wang, Fei He, Ming Gu, Xiaoyu Song

Browse the full COMPSAC paper archive.