by Cliff Jones (Editor), JunSun (Editor), PekkaPihlajasaari (Editor)
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.
Format: Paperback
Pages: 772
Edition: 2014
Publisher: Springer
Published: 09 Apr 2014
ISBN 10: 3319064096
ISBN 13: 9783319064093