Orna Grumberg

. Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.

Books

Model Checking, 2e
Model Checking, 2e by Jr., Grumberg, Kroening, Peled, Veith 9780262038836