%0 Conference Paper %1 conf/ecoop/CruzRST17 %A Cruz, Raimil %A Rezk, Tamara %A Serpette, Bernard P. %A Tanter, Éric %B ECOOP %D 2017 %E Müller, Peter %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 7:1-7:27 %T Type Abstraction for Relaxed Noninterference. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2017.html#CruzRST17 %V 74 %@ 978-3-95977-035-4

@inproceedings{conf/ecoop/CruzRST17, added-at = {2018-08-23T00:00:00.000+0200}, author = {Cruz, Raimil and Rezk, Tamara and Serpette, Bernard P. and Tanter, Éric}, biburl = {https://www.bibsonomy.org/bibtex/2f898aa6d4001fa52eef20c5564b831f8/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2017}, editor = {Müller, Peter}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.7}, interhash = {efb7a6a0c6ff6d26f4e23b7188389d4b}, intrahash = {f898aa6d4001fa52eef20c5564b831f8}, isbn = {978-3-95977-035-4}, keywords = {dblp}, pages = {7:1-7:27}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:47:09.000+0100}, title = {Type Abstraction for Relaxed Noninterference.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2017.html#CruzRST17}, volume = 74, year = 2017 }