Flavors of Sequential Information Flow

Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic (Vortragende:r), Ana Oliveira da Costa

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
TitelVerification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding
Herausgeber (Verlag)Springer
Seiten1-19
Seitenumfang19
ISBN (Print)978-3-030-94582-4
DOIs
PublikationsstatusVeröffentlicht - 2022
VeranstaltungVMCAI'22 -
Dauer: 16 Jan. 202218 Jan. 2022

Konferenz

KonferenzVMCAI'22
Zeitraum16/01/2218/01/22

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren