Heiko Mantel
Information Flow Control and Applications — Bridging a Gap
FM, 2001.
@inproceedings{FME-2001-Mantel, author = "Heiko Mantel", booktitle = "{Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity}", doi = "10.1007/3-540-45251-6_9", isbn = "3-540-41791-5", pages = "153--172", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Information Flow Control and Applications — Bridging a Gap}", volume = 2021, year = 2001, }