Bo Kang, Joseph J. LaViola Jr.. LogicPad: a pen-based application for visualization and verification of boolean algebra. In Carlos Duarte, Luís Carriço, Joaquim A. Jorge, Sharon L. Oviatt, Daniel Gonçalves, editors, 17th International Conference on Intelligent User Interfaces, IUI '12, Lisbon, Portugal, February 14-17, 2012. pages 265-268, ACM, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.