Equipes atuais : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Time anterior : ACASA
LIP6
  • T. Ida, Q. Jiang, D. Wang : “Foundations of Software”, Frontiers of Computer Science in China, vol. 2, pp. 1-93 [Ida 2008]
Mentions légales
Mapa do site