Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dennis Dams. Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). In Dragan Bosnacki, Stefan Leue, editors, Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Volume 2318 of Lecture Notes in Computer Science, pages 14-21, Springer, 2002. [doi]

This author has not been identified. Look up 'Dennis Dams' in Google

runs on WebDSL