Christian Hoermann

Publication Activity (10 Years)

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

Publications

Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann
Static deep error checking in large system applications using parfait. SIGSOFT FSE (2011)