Iliano Cervesato. Discovering logic through comics. In Guido Rößling, Thomas L. Naps, Christian Spannagel, editors, Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011. pages 103-107, ACM, 2011. [doi]
Abstract is missing.