Information-Flow Interfaces
Published in CoRR, 2020
Recommended citation: Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2020). “Information-Flow Interfaces.” CoRR.
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2020). "Information-Flow Interfaces." CoRR.
Download Paper