Spar
Formal Methods and Software Engineering
The conference focuses on all areas related to formal engineering methods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability.
- Undertittel
- 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
- Redaktør
- Zhenhua Duan, Luke Ong
- Opplag
- 1st ed. 2017
- ISBN
- 9783319686899
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 14.10.2017
- Antall sider
- 498
