
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 |
ICFP 2022-profile
View general profile
View general profile