Publication

Information Flow Control and Applications -- Bridging a Gap --

Heiko Mantel

In: Jose Nuno Olivera, Pamela Zave (editor). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe. Formal Methods Europe (FME) Berlin Pages 153-172 LNCS 2021 Springer 3/2001.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz