Colin M. O'Halloran

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Colin M. O'Halloran, Clive H. Pygott
Formalising C and C++ for Use in High Integrity Systems. SSS (2007)