Spar
FM 2014: Formal Methods
The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
- Undertittel
- 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
- Redaktør
- Cliff Jones, Pekka Pihlajasaari, Jun Sun
- Opplag
- 2014 ed.
- ISBN
- 9783319064093
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.4.2014
- Antall sider
- 750
