Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic

@inproceedings{Huertas2010ToolDT,
  title={Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic},
  author={Antonia Huertas and Enric Mor},
  booktitle={WEBIST},
  year={2010}
}