Login / Signup
Jeehoon Shin
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Specification Languages
Software Design
Formal Specification
Object Oriented Design
Top Venues
CFI
</>
Publications
</>
Miyoung Kang
,
Ki-Hyuk Nam
,
Junkil Park
,
Myung-Ki Shin
,
Jeehoon Shin
,
Jin-Young Choi
Formal specifications for software-defined networking.
CFI
(2012)