Registered user since Fri 19 Jun 2015

Name: Léon Gondelman

Affiliation: LRI, Université Paris-Sud

Personal website: https://www.lri.fr/~gondelman/

ECOOP 2015 Activities

• Author of Why3 within the FTfJP-track in FTfJP 2015
• Show activities from other conferences