@inproceedings{68f30180b90a48c081f19eb959268ea6,
title = "Flavors of Sequential Information Flow",
author = "Ezio Bartocci and Thomas Ferr{\`e}re and Thomas Henzinger and Dejan Nickovic and {da Costa}, {Ana Oliveira}",
year = "2022",
doi = "10.1007/978-3-030-94583-1",
language = "English",
isbn = "978-3-030-94582-4",
pages = "1--19",
booktitle = "Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding",
publisher = "Springer",
address = "Germany",
note = "VMCAI'22 ; Conference date: 16-01-2022 Through 18-01-2022",
}