Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
L
Lenore D. Zuck
1 books found
Books by Lenore D. Zuck
Verification, model checking, and abstract interpretation
Lenore D. Zuck
⏱ 5h 25m
Verification, model checking, and abstract interpretation
Lenore D. Zuck
2003
325 pp.