( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Deductive Verification Platform for Cryptographic Software.

, , , и . ECEASST, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jean-Christophe Magnan

Jean-Christophe Legrix

Jean-Christophe Legrix

Jean-Christophe Roux

Jean-Christophe Nebel

 

Другие публикации лиц с тем же именем

Abstraction and Genericity in Why3., и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 122-142. Springer, (2020)Functory: A Distributed Computing Library for Objective Caml., и . Trends in Functional Programming, том 7193 из Lecture Notes in Computer Science, стр. 65-81. Springer, (2011)Proof of Imperative Programs in Type Theory.. TYPES, том 1657 из Lecture Notes in Computer Science, стр. 78-92. Springer, (1998)A functional implementation of the garsia--wachs algorithm: (functional pearl).. ML, стр. 91-96. ACM, (2008)Formal Verification of Floating-Point Programs., и . IEEE Symposium on Computer Arithmetic, стр. 187-194. IEEE Computer Society, (2007)The 2nd Verified Software Competition: Experience Report., , и . COMPARE, том 873 из CEUR Workshop Proceedings, стр. 36-49. CEUR-WS.org, (2012)Ortac: Runtime Assertion Checking for OCaml (Tool Paper)., и . RV, том 12974 из Lecture Notes in Computer Science, стр. 244-253. Springer, (2021)Discharging Proof Obligations from Atelier B Using Multiple Automated Provers., , , и . ABZ, том 7316 из Lecture Notes in Computer Science, стр. 238-251. Springer, (2012)Why3 - Where Programs Meet Provers., и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 125-128. Springer, (2013)A Deductive Verification Platform for Cryptographic Software., , , и . ECEASST, (2010)