Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Machines: A Stateful Approach to Proving Security -- Automatic Approximation for the Verification...”