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

@inproceedings{pub1534,
    author = {

Mantel, Heiko
},
    editor = {

Olivera, Jose Nuno
 and 

Zave, Pamela
},
    title = {Information Flow Control and Applications -- Bridging a Gap --},
    booktitle = {FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe. Formal Methods Europe (FME), Berlin},
    series = {LNCS 2021},
    year = {2001},
    month = {3},
    pages = {153--172},
    address = {Berlin, Germany},
    publisher = {Springer}
}