Wyniki wyszukiwania dla: Frédéric Besson
Journal of Automated Reasoning > 2019 > 63 > 2 > 369-392
Journal of Automated Reasoning > 2019 > 62 > 4 > 433-480
Lecture Notes in Computer Science > Trustworthly Global Computing > Certification of Correctness > 253-267
Lecture Notes in Computer Science > Static Analysis > Static Analysis of Object-Oriented Languages > 19-36
Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation I > 268-283
Lecture Notes in Computer Science > Certified Programs and Proofs > Session 5: Proof Assistants > 151-166
Theoretical Computer Science > 2006 > 364 > 3 > 273-291