Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Finn Hacket
conf.researchr.org general profile
MODELS 2020 profile
SPLASH 2018 profile
Not registered as user yet
Name:
Finn Hacket
Affiliation:
Computer Science, University of Waterloo
Contributions
MODELS 2020
Author of mel - Model Extractor Language for Extracting Facts from Models within the Technical Track-track
SPLASH 2018
Author of Compiling Distributed System Specifications into Implementations within the Posters-track
Share
x
Sun 20 Jun 00:16