Orna Grumberg profile picture

Orna Grumberg

Is this your author profile? Create an account to customize it!

Stand Alone

25 Years Of Model Checking History Achievements Perspectives
Languages From Formal to Natural Lecture Notes in Computer Science
Software Systems Safety
Dependable Software Systems Engineering