Communication Dans Un Congrès
Année : 2011
Jérôme Durand-Lose : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00941407
Soumis le : lundi 3 février 2014-17:52:22
Dernière modification le : lundi 12 février 2024-09:52:06
Dates et versions
Identifiants
- HAL Id : hal-00941407 , version 1
Citer
Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume von Tokarski. Real-Time Monitoring of Ocaml programs. JFLA 2010, Jan 2010, Vieux-Port La Ciotat, France. pp.159-185. ⟨hal-00941407⟩
Collections
174
Consultations
0
Téléchargements