Eighth International Workshop on the ACL2 Theorem Prover and Its Applications
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139781605587424
- ISBN-101605587427
- Better World Books9781605587424
- Open LibraryOL48713577M
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!