conf.researchr.org / John Launchbury
Registered user since Mon 19 Aug 2019
Name:John Launchbury
Affiliation:Galois, Inc.
Contributions
ICFP 2017 | Invited Speaker of Assuring AI within the Keynotes and Reports-track |
Registered user since Mon 19 Aug 2019
Contributions
ICFP 2017 | Invited Speaker of Assuring AI within the Keynotes and Reports-track |