JC Filliâtre, C Marché

International Conference on Computer Aided Verification, 173-177, 2007

F Bobot, JC Filliâtre, C Marché, A Paskevich

Boogie 2011: First International Workshop on Intermediate Verification …, 2011

JC Filliâtre, C Marché

International conference on formal engineering methods, 15-29, 2004

C Marché, C Paulin-Mohring, X Urbain

The Journal of Logic and Algebraic Programming 58 (1), 89-106, 2004

P Baudin, JC Filliâtre, C Marché, B Monate, Y Moy, V Prevosto

ISO C specification language 1, 2008

P Baudin, JC Filliâtre, C Marché, B Monate, Y Moy, V Prevosto

E Contejean, C Marché, AP Tomás, X Urbain

Journal of Automated Reasoning 34 (4), 325-363, 2005

S Lucas, C Marché, J Meseguer

Information Processing Letters 95 (4), 446-453, 2005

C Marché

Journal of symbolic computation 21 (3), 253-288, 1996

F Durán, S Lucas, C Marché, J Meseguer, X Urbain

Higher-Order and Symbolic Computation 21 (1), 59-88, 2008

F Bobot, JC Filliâtre, C Marché, A Paskevich

International Journal on Software Tools for Technology Transfer 17, 709-727, 2015

A Ayad, C Marché

International Joint Conference on Automated Reasoning, 127-141, 2010

X Denis, JH Jourdan, C Marché

International Conference on Formal Engineering Methods, 90-105, 2022

D Mentré, C Marché, JC Filliâtre, M Asuka

International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012

F Durán, S Lucas, J Meseguer, C Marché, X Urbain

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004

E Contejean, C Marché

International Conference on Rewriting Techniques and Applications, 416-419, 1996

C Marché, H Zantema

International Conference on Rewriting Techniques and Applications, 303-313, 2007

T Hubert, C Marché

Third IEEE International Conference on Software Engineering and Formal …, 2005

C Marché

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 394-403, 1994

P Baudin, JC Filliâtre, C Marché, B Monate, Y Moy, V Prevosto

CEA, http://frama-c. com/download/acsl_1 6, 2009