Iteratively defined transfinite trace semantics and program slicing with respect to them

Date

2006

Journal Title

Journal ISSN

Volume Title

Publisher