ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Germán Andrés Delbianco

Registered user since Wed 20 Jul 2016

Name:Germán Andrés Delbianco
Country:France
Affiliation:Nomadic Labs
Personal website:http://delbian.co
Research interests:Programing Languages - Verification - Concurrent and Distributed Thingies

Contributions

ML 2022 Verify, but test: extracting property-based tests from F* specifications
Show activities from other conferences

Using general profile