Domain-specific Model Checking Using The Bogor Framework - researchr publication

researchr

You are not signed in
Sign in
Sign up

Robby, Matthew B. Dwyer, John Hatcliff. Domain-specific Model Checking Using The Bogor Framework. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. pages 369-370, IEEE Computer Society, 2006. [doi]

Abstract is missing.

runs on WebDSL