13th Int. Conf. Verification, Model Checking, and Abstract Interpretation
Event date
January 22-24, 2012
Location
Philadelphia, PA
results
13th Int. Conf. Verification, Model Checking, and Abstract Interpretation
January 22-24, 2012
Philadelphia, PA