Mike Laurence

Publication Activity (10 Years)

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

Publications

Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya
A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. 411 (11-13) (2010)