An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J. Stuckey

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)
Filter
Finished

Search results