Tree dimension in verification of constrained Horn clauses
Author: Pierre Ganty
Paper Information
| Title: | Tree dimension in verification of constrained Horn clauses |
| Authors: | Pierre Ganty |
| Proceedings: | HCVS Papers |
| Editors: | German Vidal and Temesghen Kahsai |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |