%0 Conference Paper %1 journals/corr/KafleG14 %A Kafle, Bishoksan %A Gallagher, John P. %B HCVS %D 2014 %E Bjørner, Nikolaj S. %E Fioravanti, Fabio %E Rybalchenko, Andrey %E Senni, Valerio %K dblp %P 53-67 %T Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs169.html#KafleG14 %V 169

@inproceedings{journals/corr/KafleG14, added-at = {2019-10-19T00:00:00.000+0200}, author = {Kafle, Bishoksan and Gallagher, John P.}, biburl = {https://www.bibsonomy.org/bibtex/21d44d305c08a6c7ffe03194930dae058/dblp}, booktitle = {HCVS}, crossref = {journals/corr/BjornerFRS14}, editor = {Bjørner, Nikolaj S. and Fioravanti, Fabio and Rybalchenko, Andrey and Senni, Valerio}, ee = {http://arxiv.org/abs/1412.1154}, interhash = {5a69b0ec69445f81df4595955d98a40e}, intrahash = {1d44d305c08a6c7ffe03194930dae058}, keywords = {dblp}, pages = {53-67}, series = {EPTCS}, timestamp = {2024-04-09T09:30:13.000+0200}, title = {Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs169.html#KafleG14}, volume = 169, year = 2014 }