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
Conference Paper

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