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

Forschungsartikel in Sammelband (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