Decomposition by tree dimension in Horn clause verification

Bishoksan Kafle, John Patrick Gallagher, Pierre Ganty

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Filter
Finished

Search results