Information-flow Interfaces.

Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Browse the full FASE paper archive.