| Original language | English |
|---|---|
| Article number | 4343914 |
| Pages (from-to) | ix |
| Journal | Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 |
| DOIs | |
| Publication status | Published - 2007 |
| Event | 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 - London, United Kingdom Duration: 10 Sep 2007 → 14 Sep 2007 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver