Julien Henry (Verimag) is giving a talk on Improving static analysis with decision procedures, 14h room C115
Your email address will not be published. Required fields are marked *
Comment
Name *
Email *
Website
Save my name, email, and website in this browser for the next time I comment.
