Login / Signup
Anthony DeRossi
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Multiscale
Game Mechanics
Imperative Programs
Geometric Invariants
Top Venues
CHI
</>
Publications
</>
Dimitar Bounov
,
Anthony DeRossi
,
Massimiliano Menarini
,
William G. Griswold
,
Sorin Lerner
Inferring Loop Invariants through Gamification.
CHI
(2018)