| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of IEEE Conference on Software Engineering and Formal Methods, Pisa, Italy, 2010 |
| Editors | José Luiz Fiadeiro, Stefania Gnesi |
| Publisher | IEEE |
| Pages | 12-18 |
| Number of pages | 7 |
| Publication status | Published - 2010 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver