Search for person "Andreas Sperber"
next
60 min
Was gibt's Neues in Bareos?
Ein Rückblick auf 23 und Ausblick auf 24

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

74 min