| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008) |
| Place of Publication | Heidelberg |
| Publisher | Springer Verlag |
| Pages | 124-138 |
| ISBN (Print) | 9783540884781 |
| Publication status | Published - 2008 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver