Original language | English |
---|---|
Pages (from-to) | 537-541 |
Number of pages | 5 |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 3582 |
DOIs | |
State | Published - 2005 |
Externally published | Yes |
Event | International Symposium of Formal Methods Europe, FM 2005 - Newcastle, United Kingdom Duration: 18 Jul 2005 → 22 Jul 2005 |
Model-based testing in practice
Research output: Contribution to journal › Conference article › peer-review
25
Scopus
citations