The incorporation of testing into formal verification: Direct, modular, and hierarchical correctness degrees
Leo MarcusVolume:
9
Language:
english
Pages:
27
DOI:
10.1007/bf00122083
Date:
November, 1996
File:
PDF, 1.39 MB
english, 1996