(English) Postdoc on translation and validation from Liquid Haskell, Rennes, France

Désolé, cet article est seulement disponible en English.