The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 443
Weight: 700 g
Dimensions: 235 x 155 x 23 mm
Edition: 2013 ed.
You may also be interested in...
Please sign in to write a review