Orna Grumberg

1 book

Model Checking, Second Edition by Daniel Kroening, Orna Grumberg, Edmund M. Clarke

Model Checking, Second Edition

Cyber Physical Systems

Daniel Kroening, Orna Grumberg, Edmund M. Clarke

424 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced