Mintaek Cho

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Taehoon Lee, Mintaek Cho, Gihwon Kwon
Using Bounded Model Checking with BOGOR. SERA (2007)