L

Lenore D. Zuck

1 books found

Books by Lenore D. Zuck
Verification, model checking, and abstract interpretationLenore D. Zuck
⏱ 5h 25m

Verification, model checking, and abstract interpretation

Lenore D. Zuck

2003325 pp.