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