Projects per year
Projects
- 1 Finished
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 journal › Article › Research › peer-review
8
Citations
(Scopus)