Information-flow Interfaces

Published in FASE, 2022

📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2022). "Information-flow Interfaces." FASE.
Download Paper