Login / Signup
Jonathan Hoag
Publication Activity (10 Years)
Years Active: 2008-2008
Publications (10 Years): 0
</>
Publications
</>
Torben Amtoft
,
John Hatcliff
,
Edwin Rodríguez
,
Robby
,
Jonathan Hoag
,
David A. Greve
Specification and Checking of Software Contracts for Conditional Information Flow.
FM
(2008)