Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas

From MaRDI portal
(Redirected from Publication:649588)