Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is R. M. Hierons 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.