J. Filliâtre, « Deductive Program Verification, 2011.

H. Gimbert, Document de présentation des algorithmes de Parcoursup, vol.5, p.4, 2019.

J. Filliâtre and A. Paskevich, Proceedings of the 22nd European Symposium on Programming. Sous la dir. de Matthias Felleisen et Philippa GaRdneR. T. 7792, pp.125-128, 2013.

R. Milner, « A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.6, pp.348-375, 1978.

J. Filliâtre, L. Gondelman, and A. Paskevich, A Pragmatic Type System for Deductive Verification, 2016.

J. Filliâtre, L. Gondelman, and A. Paskevich, The Spirit of Ghost Code, vol.48, pp.1572-8102, 2016.

M. Clochard, J. Filliâtre, and A. Paskevich,

, « How to avoid proving the absence of integer overflows, pp.94-109

J. Filliâtre, A Toolchain to Produce Correct-by-Construction OCaml Programs, Rapp. tech. artifact, issue.7, 2018.