Towards Automated Software Verification Using Model Checking Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

S. Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani. Towards Automated Software Verification Using Model Checking Techniques. In Wei-Ngan Chin, Shengchao Qin, editors, TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. pages 305-306, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'S. Asadollahi' in GoogleThis author has not been identified. Look up 'Vahid Rafe' in GoogleThis author has not been identified. Look up 'Reza Rafeh' in GoogleThis author has not been identified. Look up 'Adel Torkaman Rahmani' in Google

runs on WebDSL