Christophe Métayer

According to our database, Christophe Métayer authored at least 3 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Modelling Dynamic Data Structures with the B Method.

Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2008

DIR 41 Case Study.

Christophe Métayer, Mathieu Clabaut

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2004

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin

Tech. Sci. Informatiques, 2004