Concise Guide to Software Verification
Concise Guide to Software Verification
Anton Wijs
,
Marieke Huisman
3.5
(2)
on Goodreads
Details
OL Work ID
OL35727933W
Subjects
Mathematics
Find this book
Goodreads
Open Library