Verifying Java Programs By Theorem Prover HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Anduo Wang' in GoogleThis author has not been identified. Look up 'Fei He' in GoogleThis author has not been identified. Look up 'Ming Gu' in GoogleThis author has not been identified. Look up 'Xiaoyu Song' in Google

runs on WebDSL