FM 2014: Formal Methods
| Author | : Cliff Jones |
| Publisher | : Springer |
| Total Pages | : 766 |
| Release | : 2014-04-18 |
| ISBN-10 | : 9783319064109 |
| ISBN-13 | : 331906410X |
| Rating | : 4/5 (10X Downloads) |
Book Synopsis FM 2014: Formal Methods by : Cliff Jones
Download or read book FM 2014: Formal Methods written by Cliff Jones and published by Springer. This book was released on 2014-04-18 with total page 766 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. 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.
