Search results for: Benjamin Grégoire
Corrosion Science > 2018 > 141 > C > 211-220
Surface and Coatings Technology > 2017 > 326 > PA > 224-237
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 1-24
Lecture Notes in Computer Science > Advances in Cryptology – CRYPTO 2011 > Computer-Assisted Cryptographic Proofs > 71-90
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 333-347
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 257-271
Lecture Notes in Computer Science > Static Analysis > Session 5 > 301-317
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 71-85
Lecture Notes in Computer Science > Topics in Cryptology – CT-RSA 2011 > Proofs of Security > 180-196
Lecture Notes in Computer Science > Certified Programs and Proofs > Session 10: Miscellaneous > 362-377
Lecture Notes in Computer Science > Language Engineering and Rigorous Software Development > 100-152