Slicing integrated formal specifications for verification / Ingo Brückner. 2008
Inhalt