%0 Conference Paper %1 conf/essos/DecroixLDN13 %A Decroix, Koen %A Lapon, Jorn %A Decker, Bart De %A Naessens, Vincent %B ESSoS %D 2013 %E Jürjens, Jan %E Livshits, Benjamin %E Scandariato, Riccardo %I Springer %K %P 155-170 %T A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic Services. %U http://dblp.uni-trier.de/db/conf/essos/essos2013.html#DecroixLDN13 %V 7781 %@ 978-3-642-36562-1

@inproceedings{conf/essos/DecroixLDN13, added-at = {2023-12-13T02:02:47.000+0100}, author = {Decroix, Koen and Lapon, Jorn and Decker, Bart De and Naessens, Vincent}, biburl = {https://www.bibsonomy.org/bibtex/27428eff12d491a7ffb8320931dfbe01e/admin}, booktitle = {ESSoS}, crossref = {conf/essos/2013}, editor = {Jürjens, Jan and Livshits, Benjamin and Scandariato, Riccardo}, ee = {https://doi.org/10.1007/978-3-642-36563-8_11}, interhash = {7a1d67b25cd8be866abf1007a94bf803}, intrahash = {7428eff12d491a7ffb8320931dfbe01e}, isbn = {978-3-642-36562-1}, keywords = {}, pages = {155-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:02:47.000+0100}, title = {A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic Services.}, url = {http://dblp.uni-trier.de/db/conf/essos/essos2013.html#DecroixLDN13}, volume = 7781, year = 2013 }