Software engineering
Software engineering
1982
analysis and verification
T. G. Lewis
Details
First published
1982
OL Work ID
OL2912920W
Subjects
Verification
Software engineering
Computer software
Find this book
Open Library