Sebastian Geiss

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Automatic Programming

Computer Science

Theorem Proving

Top Venues

Publications

Sebastian Geiss, Tim Jentzsch, Nils Wild, Christian Plewnia
Automatic Programming Assessment System for a Computer Science Bridge Course - An Experience Report. APSEC (2022)