Test, Analyse und Verifikation von Software - gestern, heute, morgenAndreas SpillnerÉpuisé4,3Prévenez-moi