Search for person "Andreas Sperber" returned 213 results

62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!


74 min
IT is a public good: ZenDiS als Bindeglied zwischen öffentlicher Verwaltung und Open…
Andreas Reckert-Lodde, Interimsgeschäftsführer des Zentrums…


52 min
Visualization of Contributions to Open-Source Projects
Visualizing the Development of Germany's 'Corona-Warn-App'
