12th International Conference on Verification, Model Checking, and Abstract Interpretation
Event date
Jan 23-25, 2011
Event location
Austin, TX
results
12th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 23-25, 2011
Austin, TX