Bishoksan Kafle, John P. Gallagher. Constraint Specialisation in Horn Clause Verification. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 85-90, ACM, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.