Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is M. Harman and First Letter Of Title is T  [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.
2006
Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á, Korel B.  2006.  Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science. 360:23–41.