External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

LogicPad: a pen-based application for visualization and verification of boolean algebra

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]

Authors

Bo Kang

This author has not been identified. Look up 'Bo Kang' in Google

Joseph J. LaViola Jr.

This author has not been identified. Look up 'Joseph J. LaViola Jr.' in Google
runs on