Information-flow interfaces

Published in Formal Methods Syst. Des., 2025

📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2025). "Information-flow interfaces." Formal Methods Syst. Des..
Download Paper