A Simple Model for Certifying Assembly Programs with First-Class Function Pointers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo. A Simple Model for Certifying Assembly Programs with First-Class Function Pointers. In Zhenhua Duan, C.-H. Luke Ong, editors, 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011. pages 125-132, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Wei Wang' in GoogleThis author has not been identified. It may be one of the following persons:

Zhong Shao

Look up 'Zhong Shao' in GoogleThis author has not been identified. Look up 'Xinyu Jiang' in GoogleThis author has not been identified. Look up 'Yu Guo' in Google

runs on WebDSL