@activegroupgmbh@discuss.systems
Post #1065008
2025-06-20 11:43 UTC
Bei der diesjährigen //heise DevSec() in Regensburg ist @sperbsen mit seinem Vortrag "Kugelsichere Software mit formalen Methoden" dabei. Angesetzter Termin für den Vortrag ist der 1. Oktober um 15:35.
Neugierig geworden? Mehr Informationen gibt's hier ↓
https://www.heise-devsec.de/veranstaltung-83802-0-kugelsichere-software-mit-formalen-methoden.html
Replies (0)
No replies.