Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Validation in a Real Software Life-Cycle -- Lessons Learned from a Successful Implementation of Formal...”