Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
IUI
/
Paper
LogicPad: a pen-based application for visualization and verification of boolean algebra.
Bo Kang
,
Joseph J. LaViola Jr.
Venue
A
IUI
Year
2012
Proceedings
IUI
DBLP record
conf/iui/KangL12 ↗
Browse the full
IUI paper archive
.