Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- S. Fechter : “Une nouvelle extension de ML avec des traits orientés objets de FOCAL”, [Fechter 2005]
- S. Fetcher, L. Liquori : “Mini-Foc A Kernel Calculus for Certified Computer Algebra [Ongoing work]”, [Fetcher 2005]