Testen ist heute, morgen sind Formale Methoden - Michael Sperber | code.talks 2025 | code.talks (ehem. Developer Conference) | Podwise