Search results for: Vincent Laviron
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 229-244
Lecture Notes in Computer Science > Programming Languages and Systems > Software Security and Verification > 343-358
International Journal on Software Tools for Technology Transfer > 2011 > 13 > 6 > 585-601