Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- J.‑L. Colaço, M. Pouzet : “Clocks as First Class Abstract Types”, Third International Conference on Embedded Software (EMSOFT'03), vol. 2855, Lecture Notes in Computer Science, Philadelphia, Pennsylvania, United States, pp. 134-155, (Springer) [Colaço 2003]
- C. Dubois, J. Grandguillot, M. Jaume : “Réutilisation de preuves formelles : une étude pour le système Foc”, Journées Francophones des Langages Applicatifs, JFLA'03, Chamrousse, France, pp. 63-76 [Dubois 2003]
- M. Maarek, V. Prevosto : “FoCDoC: The Documentation System of FoC”, Calculemus 2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Roma, Italy, pp. 31-42 [Maarek 2003]
- V. Prevosto, M. Jaume : “Making proofs in a hierarchy of mathematical structures”, Calculemus 2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Rome, Italy, pp. 89-100, (Aracne) [Prevosto 2003]