Membership
Tour
Register
Log in
Hyondeuk Kim
Follow
Person
Boulder, CO, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Applications
last 30 patents
Information
Patent Application
HYBRID COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT
Publication number
20090007038
Publication date
Jan 1, 2009
NEC Laboratories America, Inc.
Chao Wang
G06 - COMPUTING CALCULATING COUNTING