Exorciser. Automatic Generation and Interactive Grading of Structured Exercises in the Theory of Computation. Tscherter, V. Ph.D. Thesis, ETH, Zürich, 2004.
Exorciser. Automatic Generation and Interactive Grading of Structured Exercises in the Theory of Computation [link]Paper  bibtex   
@phdthesis{Tscherter2004,
  author    = {Vincent Tscherter},
  title     = {{Exorciser. Automatic Generation and Interactive
              Grading of Structured Exercises in the Theory of
              Computation}},
  year      = 2004,
  address   = {Z{\"u}rich},
  school    = {ETH},
  type      = {Dissertation -- Doctor of Technical Sciences},
  url={http://e-collection.ethbib.ethz.ch/view/eth:27428},
  urldate={2014-02-17},
}

Downloads: 0