Reasoning about specifications in model checking / Marko Samer. 2004
Inhalt