People
Publications
Efficiently Retrieving Function Dependencies in the Linux Kernel using XSB
Spyros Hadjichristodoulou,
David S. Warren,,
In Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE '13), Istanbul, Turkey, August 2013.