| Original language | English |
|---|---|
| Publication status | Published - 2007 |
Treatment code (Nähere Zuordnung)
- Theoretical
- Experimental
Automated Software Testing with Model Checkers
Gordon Fraser
Research output: Thesis › Doctoral Thesis
Gordon Fraser
Research output: Thesis › Doctoral Thesis
| Original language | English |
|---|---|
| Publication status | Published - 2007 |