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



Publikationstyp
Aufsatz (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2010

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

Konferenzort
Chongqing

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

Verlag
IEEE Computer Society

Sprache
Englisch