Lenore D. Zuck

Verification, model checking, and abstract interpretation