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

Cite as

Usener, C. A., Gruttmann, S., Majchrzak, T. A., & Kuchen, H. (2010). Computer-Supported Assessment of Software Verification Proofs — Towards High-Quality E-Assessments in Computer Science Education. In Proceedings of the Int. Conf. on Educational and Information Technology (ICEIT), Chongqing.

Details

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