Search alternatives:
complete verifiable » complete variable, complete decidable, complete verification
functions » function
Cover Image
Read Now

1
by Bricaud, Pierre
Published 1999
Springer US
Table of Contents: “... -- 11.3 Interface Verification -- 11.4 Functional Verification -- 11.5 Application-Based Verification...”