Publikation

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

Heiko Mantel

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

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