Decomposition for compositional verification / Björn Metzler. 2010
Inhalt