by Orna Grumberg , Michael Kaminski , Shmuel Katz , Shuly Wintner
No reviews yet. Be the first!
Model checking
25 Years of Model Checking
Tools and Algorithms for the Constructio...
Model Checking, Second Edition
Languages From Formal to Natural ...
25 Years Of Model Checking History Achie...