Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Methods as an Improvement Tool -- Critical Software Technologies Experience with Formal Methods...”