| Original language | English |
|---|---|
| Publication status | Published - 1996 |
Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages
Research output: Thesis › Doctoral Thesis
Research output: Thesis › Doctoral Thesis
| Original language | English |
|---|---|
| Publication status | Published - 1996 |