Formal verification of complex software systems : a study / Bernhard Beckert, Oliver Denninger, Jonas Klamroth, Max Scheerer, Jörg Henß ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH

Beckert, BernhardDenninger, OliverKlamroth, JonasScheerer, MaxHenß, JörgAgentur für Innovation in der Cybersicherheit2026-03-052023https://epflicht.bibliothek.uni-halle.de/handle/123456789/1178381963565843urn:nbn:de:gbv:3:2-123456789-11783821 Online-Ressource (91 Seiten, 1,8 MB)enghttps://creativecommons.org/licenses/by-nc-nd/4.0/005.8Formal verification of complex software systems : a study / Bernhard Beckert, Oliver Denninger, Jonas Klamroth, Max Scheerer, Jörg Henß ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH