Program verification
Program verification
James H. Fetzer
,
Timothy R. Colburn
Details
ISBN-13
9789401117937
OL Work ID
OL18240584W
Subjects
Verification
Computer software
Find this book
Open Library