Test, Analyse und Verifikation von Software - gestern, heute, morgenAndreas SpillnerVypredanáPostrážiť