| Original language | English |
|---|---|
| Pages (from-to) | v |
| Journal | Lecture Notes in Computer Science |
| Volume | 4260 LNCS |
| State | Published - 2006 |
| Event | 8th International Conference on Formal Engineering Methods, ICFEM 2006 - Macao, China Duration: 1 Nov 2006 → 3 Nov 2006 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver