Computer Aided Verification
Computer Aided Verification
Paul Jackson
,
Byron Cook
,
Tayssir Touili
Details
OL Work ID
OL27343473W
Find this book
Open Library