Statistics
Publications
1
Citations
10
H-Index
1
Active since
2011
Affiliations
University of New Brunswick(Current)
Paddy O'Brien is an author at University of New Brunswick specializing in engineering, functional correctness, and computer science.
Publications per year
2011–2011
1
1
A framework for verifying functional correctness in Odin II
Joseph C. Libby, Ashley Furrow, Paddy O'Brien et al. · 2011 · 10 citations
1–1 of 1