Tallenna
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.
- Alaotsikko
- 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
- Toimittaja
- Cliff Jones, Pekka Pihlajasaari, Jun Sun
- Painos
- 2014 ed.
- ISBN
- 9783319064093
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 9.4.2014
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 750
