Computer-Supported Assessment of Software Verification Proofs - Towards High-Quality E-Assessments in Computer Science Education

Usener Claus A., Gruttmann Susanne, Majchrzak Tim A., Kuchen Herbert

Publication type

Research article in proceedings (conference)

Peer reviewed

Yes

Publication status

Published

Year

2010

Conference

Int. Conf. on Educational and Information Technology (ICEIT)

Venue

Chongqing

Book title

Proc. of the 2010 Int. Conf. on Educational and Information Technology (ICEIT)

Publisher

IEEE Computer Society

Language

English