Dynamic Slicing of Logic Programs: Program analysis and verification

TitleDynamic Slicing of Logic Programs: Program analysis and verification
Publication TypeConference Paper
Year of Publication1999
AuthorsHarmath L., Szilágyi G., Gyimóthy T, Csirik J.
Conference NameThe Sixth Fenno-Ugric Symposium on Software Technology
Pagination101-113
Date Publishedaug