Spara
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.
- Undertitel
- 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
- Redaktör
- Cliff Jones, Pekka Pihlajasaari, Jun Sun
- Upplaga
- 2014 ed.
- ISBN
- 9783319064093
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2014-04-09
- Sidor
- 750
