The software model checker Blast - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. The software model checker Blast. STTT, 9(5-6):505-525, 2007. [doi]

This author has not been identified. Look up 'Dirk Beyer' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in Google

runs on WebDSL