Gå direkte til innholdet
FM 2014: Formal Methods
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
Opplag
2014 ed.
ISBN
9783319064093
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
9.4.2014
Antall sider
750