@inproceedings{iceit2010,
 author = {Usener, Claus A. and Gruttmann, Susanne and Majchrzak, Tim A. and Kuchen, Herbert},
 title = {Computer-Supported Assessment of Software Verification Proofs -- Towards High-Quality E-Assessments in Computer Science Education},
 year = {2010},
 publisher = {IEEE Computer Society},
 booktitle = {Proc. of the 2010 Int. Conf. on Educational and Information Technology (ICEIT)},
 location = {Chongqing, China}
}