Sotabase

Career

· Researcher, Columbia University

Publications (2)

Building and using pluggable type-checkers
International Conference on Software Engineering · 2011
122
cited
Verification games: making verification fun
FTfJP@ECOOP · 2012
52
cited
Sotabase
Stephanie Dietzel | Researcher Profile | Sotabase | Sotabase