%0 Conference Paper %1 conf/secdev/CruzT19 %A Cruz, Raimil %A Tanter, Éric %B SecDev %D 2019 %I IEEE %K dblp %P 101-113 %T Polymorphic Relaxed Noninterference. %U http://dblp.uni-trier.de/db/conf/secdev/secdev2019.html#CruzT19 %@ 978-1-5386-7289-1

@inproceedings{conf/secdev/CruzT19, added-at = {2019-11-27T00:00:00.000+0100}, author = {Cruz, Raimil and Tanter, Éric}, biburl = {https://www.bibsonomy.org/bibtex/220bc34a251cf7d2499fbb480d389b82e/dblp}, booktitle = {SecDev}, crossref = {conf/secdev/2019}, ee = {https://doi.org/10.1109/SecDev.2019.00021}, interhash = {c223aef490e0b117738944563fc21556}, intrahash = {20bc34a251cf7d2499fbb480d389b82e}, isbn = {978-1-5386-7289-1}, keywords = {dblp}, pages = {101-113}, publisher = {IEEE}, timestamp = {2019-11-28T11:39:43.000+0100}, title = {Polymorphic Relaxed Noninterference.}, url = {http://dblp.uni-trier.de/db/conf/secdev/secdev2019.html#CruzT19}, year = 2019 }