| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Amirandes, heraclion, Crete, 18-20 October 2010 |
| Tila | Julkaistu - 2010 |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
Siteeraa tätä
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver