A Denotational Model for Interrupt-Driven Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu. A Denotational Model for Interrupt-Driven Programs. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 15-20, IEEE, 2013. [doi]

This author has not been identified. Look up 'Yanhong Huang' in GoogleThis author has not been identified. Look up 'Yongxin Zhao' in GoogleThis author has not been identified. Look up 'Jianqi Shi' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in Google

runs on WebDSL