F.OR.M. PACT- French draft paper 1 by Claude Emmanuel TRIOMPHE With Sebastian Schulze-Marmeling, Christophe Teissier and Bertrand Vial (ASTREES)

Source URL: www.astrees.org

American Economic Review: Papers & Proceedings 2011, 101:3, 222–226 http://www.aeaweb.org/articles.php?doi=aerArt and Money By William N. Goetzmann, Luc Renneboog, and Christophe Spaenjers* market an

Source URL: www.dukedalmi.org

The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml
• Formal verification
• French Institute for Research in Computer Science and Automation

Tom-based tools to transform EMF models in avionics context Jean-Christophe Bach1,2,3 , Pierre-Etienne Moreau1,2,3 , and Marc Pantel4 1 2

Source URL: www.schplaf.org

COMMUNIQUÉ – Pour diffusion immédiate UN BOURGETTAIN SE DÉMARQUE EN SKI ACROBATIQUE Rigaud, 8 juin 2015 – Un finissant du collège Bourget, Jean-Christophe Nadeau, fait partie des meilleurs espoirs en ski acrobat

Source URL: www.feep.qc.ca

A Computational Role for Dopamine Delivery in Human Decision-Making David M. Egelman, Christophe Person, and P. Read Montague Baylor College of Medicine Abstract

Source URL: www.eaglemanlab.net

Quiver: a Middleware for Distributed Gaming Giuseppe Reina Ernst Biersack Christophe Diot

Source URL: www.e-biersack.eu

D:/Christophe/Recherches/Articles/ISARS/Ext Abst/Ext_Abst_Baehr.dvi

Source URL: www.math.univ-toulouse.fr

Manual VersionSeptember 2013 Christophe Riccio

Source URL: glm.g-truc.net

cahier vacarme 42 – hiver 2008 flyers 3 texte de Jean-Christophe Bailly & photos de Suzanne Doppelt

Source URL: www.vacarme.org