Search results for: Éric Goubault
Distributed Computing > 2018 > 31 > 4 > 289-316
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 232-247
Applied Categorical Structures > 2017 > 25 > 5 > 775-807
Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation I > 237-252
Lecture Notes in Computer Science > CONCUR'93 > 293-307
Lecture Notes in Computer Science > CONCUR '92 > 254-268
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 225-236
Lecture Notes in Computer Science > Programming Languages and Systems > Program Analysis: Applications > 209-212
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 53-69
Lecture Notes in Computer Science > Static Analysis > Data Structures > 234-259
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Invited Talks and Tutorials > 16-37
Lecture Notes in Computer Science > Numerical Software with Result Verification > Novel Approaches to Verification > 306-313
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 290-305