Project - Team π . r 2 Design , study and implementation of languages for proofs and programs

  • Paris - Rocquencourt
  • Published 2009

Slides referencing similar topics