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