[Zurück]

@inproceedings{TUW-177143,
    author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan},
    title = {ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions},
    booktitle = {Logic Programming and Nonmonotonic Reasoning},
    year = {2009},
    editor = {Erdem, Esra and Lin, Fangzhen and Schaub, Torsten},
    pages = {382--395},
    publisher = {Springer},
    address = {5753},
    url = {http://publik.tuwien.ac.at/files/PubDat_177143.pdf},
    isbn = {978-3-642-04237-9},
    doi = {10.1007/978-3-642-04238-6},
    note = {Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 -- 2009-09-18}
}