John Lugton

Publication Activity (10 Years)

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

Publications

Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig
Soundness of Data Flow Analyses for Weak Memory Models. APLAS (2011)