Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- F. Parrennes : “Fraction : analyseur de propriétés par des techniques de résolution de contraintes”, [Parrennes 2001]
- Ch. Queinnec : “Inverting back the inversion of control or, Continuations versus page-centric programming”, [Queinnec 2001a]
- Ch. Queinnec, H. Giroire : “Pages dynamiques composées par filtrage, une mise en oeuvre sur cédérom”, [Queinnec 2001d]