Login / Signup
Hai Feng Huang
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
Jonathan S. Ostroff
,
Faraz Ahmadi Torshizi
,
Hai Feng Huang
,
Bernd Schoeller
Beyond contracts for concurrency.
Formal Aspects Comput.
21 (4) (2009)