
Registered user since Mon 24 Jan 2022
Name:Steven Keuchel
Country:Belgium
Affiliation:Vrije Universiteit Brussel
Personal website:https://soft.vub.ac.be/~skeuchel/
GitHub:https://github.com/skeuchel
Contributions
ICFP 2022 | Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile