Toggle navigation
Home
People
Departments
Research
About
Login
Search
Proceedings of the 19th International Symposium on Software Testing and Analysis
Journal
Overview
Overview
publication venue for
Analysis of Invariants for Efficient Bounded Verification
2010