Computer Aided Verification
Computer Aided Verification
Gerard Berry
,
Hubert Comon
,
Alain Finkel
Details
OL Work ID
OL27347415W
Find this book
Goodreads
Open Library