- 1
-
Sebastian Danicic, Robert Hierons, and Michael Laurence.
Characterizing minimal semantics-preserving slices of
predicate-linear, free, liberal program schemas.
Journal of Logic and Algebraic Programming, May 2011.
s.danicic@gold.ac.uk
Sebastian Danicic - contact information
Department of Computing
Goldsmiths College
University of London
Sebastian Danicic - Real Home Page
Last updated 2011-10-02