Build your own model checker in one month - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jin Song Dong, Jun Sun 0001, Yang Liu. Build your own model checker in one month. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 1481-1483, IEEE / ACM, 2013. [doi]

This author has not been identified. Look up 'Jin Song Dong' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in GoogleThis author has not been identified. Look up 'Yang Liu' in Google

runs on WebDSL