@inproceedings{3bf19dbc93bd48e5b9ef02cbfbbde0f1,
title = "Information-flow Interfaces",
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-99429-7",
language = "English",
isbn = "978-3-030-99428-0",
pages = "3--22",
booktitle = "Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings",
publisher = "Springer",
address = "Germany",
note = "FASE 2022 ; Conference date: 02-04-2022 Through 07-04-2022",
}