| Original language | English |
|---|---|
| Publication status | Published - 2001 |
Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques
Research output: Thesis › Doctoral Thesis
Research output: Thesis › Doctoral Thesis
| Original language | English |
|---|---|
| Publication status | Published - 2001 |