conf.researchr.org / Andreas Lochbihler
Registered user since Fri 10 Feb 2017
Name:Andreas Lochbihler
Contributions
2021
2017
ICFP
- Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track
- Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track
- Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track