11th International Conference on Verification, Model Checking and Abstract Interpretation
Event date
January 17-19, 2010
Event location
Madrid, Spain
results
11th International Conference on Verification, Model Checking and Abstract Interpretation
January 17-19, 2010
Madrid, Spain