%0 Conference Paper %1 conf/lopstr/BossiPR04 %A Bossi, Annalisa %A Piazza, Carla %A Rossi, Sabina %B LOPSTR %D 2004 %E Etalle, Sandro %I Springer %K dblp %P 85-100 %T Unwinding Conditions for Security in Imperative Languages. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2004.html#BossiPR04 %V 3573 %@ 3-540-26655-0

@inproceedings{conf/lopstr/BossiPR04, added-at = {2017-05-17T00:00:00.000+0200}, author = {Bossi, Annalisa and Piazza, Carla and Rossi, Sabina}, biburl = {https://www.bibsonomy.org/bibtex/2974dba717cf2920eb43bd386ce8ab941/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2004}, editor = {Etalle, Sandro}, ee = {https://doi.org/10.1007/11506676_6}, interhash = {32cf34c4d76930bc6196c0065a84fd5a}, intrahash = {974dba717cf2920eb43bd386ce8ab941}, isbn = {3-540-26655-0}, keywords = {dblp}, pages = {85-100}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:53.000+0200}, title = {Unwinding Conditions for Security in Imperative Languages.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2004.html#BossiPR04}, volume = 3573, year = 2004 }