Decomposition for compositional verification / Björn Metzler. 2010

Inhalt