%0 Conference Paper %1 conf/forte/SjostenHS18 %A Sjösten, Alexander %A Hedin, Daniel %A Sabelfeld, Andrei %B FORTE %D 2018 %E Baier, Christel %E Caires, Luís %I Springer %K dblp %P 141-160 %T Information Flow Tracking for Side-Effectful Libraries. %U http://dblp.uni-trier.de/db/conf/forte/forte2018.html#SjostenHS18 %V 10854 %@ 978-3-319-92612-4

@inproceedings{conf/forte/SjostenHS18, added-at = {2021-10-14T00:00:00.000+0200}, author = {Sjösten, Alexander and Hedin, Daniel and Sabelfeld, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/256e1046220b6a43801faeee06688b85d/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2018}, editor = {Baier, Christel and Caires, Luís}, ee = {https://doi.org/10.1007/978-3-319-92612-4_8}, interhash = {b1fa91ab1fddc622677bff2637f3222e}, intrahash = {56e1046220b6a43801faeee06688b85d}, isbn = {978-3-319-92612-4}, keywords = {dblp}, pages = {141-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:16:38.000+0200}, title = {Information Flow Tracking for Side-Effectful Libraries.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2018.html#SjostenHS18}, volume = 10854, year = 2018 }