| Title | Dynamic Slicing of Logic Programs: Program analysis and verification |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Harmath L, Szilágyi G., Gyimóthy T, Csirik J |
| Conference Name | The Sixth Fenno-Ugric Symposium on Software Technology |
| Pagination | 101-113 |
| Date Published | aug |
Page last modified: January 16, 2012