@inproceedings{iadiselearning2010,
 author = {Usener, Claus A. and Gruttmann, Susanne and Majchrzak, Tim A. and Kuchen, Herbert},
 title = {Formative E-Assessment of Software Verification Skills in Higher Education},
 year = {2010},
 publisher = {IADIS Press},
 booktitle = {Proc. of the IADIS Int. Conf. e-Learning 2010 (eL2010)}
}