Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “...Security Testing beyond Functional Tests -- Progress-Sensitive Security for SPARK -- Sound...”