Login / Signup
Paddy O'Brien
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Joseph C. Libby
,
Ashley Furrow
,
Paddy O'Brien
,
Kenneth B. Kent
A framework for verifying functional correctness in Odin II.
FPT
(2011)