• Motion contre la LPPR

Tesi

• 10/01/2020 - 14:00 : SALL Boubacar Demba
  Programmation impérative par raffinements avec l'assistant de preuve Coq
  Campus Jussieu, Salle Jacques Pitrat (25-26/105)

Attualmente non è previsto nessun altro evento.