Zur Navigation
Zum Inhalt
Zum Footer
Deutsch
English
Login
Konferenz
Willkommen
Mitschnitte
Fahrplan
Self-organized Sessions
Lightning Talks
Wiki
Letzte Änderungen (Wiki)
Tauschbörsen
Assemblies
Projekte
Badges
Mein Congress
Mein Fahrplan
Meine Badges
Besucher
Tickets
Gebäude
Netzwerk
Bulletin Board
FAQ
Profil: dbscoach
Deutsch
English
Login
Profil: dbscoach
dbscoach
Veranstaltungen
18:00
Tag 3
Trustworthy Systems Meetup (security&correctness proofs in practical systems)
trustworthy-systems
sel4
formal-methods
security-guarantees
