Mike Laurence

According to our database, Mike Laurence authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A trajectory-based strict semantics for program slicing.

Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya

Theor. Comput. Sci., 2010