Anduo Wang, Fei He, Ming Gu, Xiaoyu Song. Verifying Java Programs By Theorem Prover HOL. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 139-142, IEEE Computer Society, 2006. [doi]
Abstract is missing.