25 Years of Model Checking

Bok av Orna. Grumberg