Horn Clauses and Beyond for Relational and Temporal Program Verification
Author: Hiroshi Unno
Paper Information
| Title: | Horn Clauses and Beyond for Relational and Temporal Program Verification |
| Authors: | Hiroshi Unno |
| Proceedings: | HCVS Papers |
| Editors: | German Vidal and Temesghen Kahsai |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |