Im Rahmen der GI Konferenz Sicherheit, Schutz und Zuverlässigkeit (SICHERHEIT 2022), präsentierte ich SMT-Based Verification of Concurrent Critical Systems
👏👏👏Den heutigen Auftakt der Paper-Session machte Matthias Güdemann, @hmmuenchen, mit einem Vortrag zum Thema "SMT-Based Verification of Concurrent Critical Systems". pic.twitter.com/ufE262c7GM
— Sicherheit 2022 (@GI_Sicherheit) April 7, 2022