Login / Signup
Sooji Son
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Computer Science Curriculum
Chemical Engineering
Theorem Prover
Postgraduate Students
Top Venues
SIGCSE
</>
Publications
</>
Jianting Chen
,
Medha Gopalaswamy
,
Prabir Pradhan
,
Sooji Son
,
Peter-Michael Osera
A: A Proof Assistant for Undergraduate Education.
SIGCSE
(2017)