Flavors of Sequential Information Flow.

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

Browse the full VMCAI paper archive.