Lüth, ChristophHutter, DieterFunck, MilanZielasko, JanAgentur für Innovation in der Cybersicherheit2026-03-062023https://epflicht.bibliothek.uni-halle.de/handle/123456789/1178401963576322urn:nbn:de:gbv:3:2-123456789-11784001 Online-Ressource (51 Seiten, 2,25 MB)enghttps://creativecommons.org/licenses/by-nc-nd/4.0/005.8Formal verification of hardware-software-interfaces / Christoph Lüth, Dieter Hutter, Milan Funck, Jan Zielasko ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH