Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is T and Author is M. Laurence  [Clear All Filters]
2010
Barraclough RW, Binkley D, Danicic S, Harman M, Hierons RM, Kiss Á, Laurence M, Ouarbya L.  2010.  A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.