Browsing by Subject Herbrand domain
Showing results 4 to 4 of 4
< previous
Issue Date | Title | Author(s) |
---|---|---|
2011 | On the computational complexity of dynamic slicing problems for program schemas | Danicic, S; Hierons, RM; Laurence, MR |