Formal Approaches to Software Testing - Carsten Weise - E-bok | Bokus