BalCCon - Balkan Computer Congress·54 min
Stefan Nozinic
Demonstrates balCCon2k23 - Stefan Nozinic - Formal specifications of systems - why and how and evaluates key implications for security practitioners.
balccon2k23stefannozinic+2
Stefan Nozinic
1 talk in the archive.
Filters+
Loading filters…
1–1 of 1 talk · loading…