Lenore D. Zuck

Full author bios, photos, and release calendars arrive with the author data source in a later phase. For now, here's their work on NoReads.

Books by Lenore D. Zuck

Verification, model checking, and abstract interpretationLenore D. Zuck · 2003