Original language | English |
---|---|
Article number | 4685785 |
Pages (from-to) | ix |
Journal | Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008 |
DOIs | |
Publication status | Published - 2008 |
Event | 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008 - Cape Town, South Africa Duration: Nov 10 2008 → Nov 14 2008 |
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Software