| Original language | English |
|---|---|
| Journal | Lecture Notes in Computer Science |
| Volume | 315 |
| Publication status | Published - 1988 |
Proving Rartial Correctness of Guarded Horn Clauses Programs
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
| Original language | English |
|---|---|
| Journal | Lecture Notes in Computer Science |
| Volume | 315 |
| Publication status | Published - 1988 |