Bounded model checking of C++ programs based on the Qt cross-platform framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho. Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test., Verif. Reliab., 27(3), 2017. [doi]

This author has not been identified. Look up 'Felipe R. Monteiro' in GoogleThis author has not been identified. Look up 'Mário Garcia' in GoogleThis author has not been identified. Look up 'Lucas C. Cordeiro' in GoogleThis author has not been identified. Look up 'Eddie Batista de Lima Filho' in Google

runs on WebDSL