%0 Conference Paper %1 conf/fossacs/KrebbersW13 %A Krebbers, Robbert %A Wiedijk, Freek %B FoSSaCS %D 2013 %E Pfenning, Frank %I Springer %K dblp %P 257-272 %T Separation Logic for Non-local Control Flow and Block Scope Variables. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#KrebbersW13 %V 7794 %@ 978-3-642-37074-8

@inproceedings{conf/fossacs/KrebbersW13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Krebbers, Robbert and Wiedijk, Freek}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fe23c7ca8f6ffe2e6303594bb659a0d3/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2013}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-642-37075-5_17}, interhash = {cd6ffbd8a45b696fa997613b636f4fcf}, intrahash = {fe23c7ca8f6ffe2e6303594bb659a0d3}, isbn = {978-3-642-37074-8}, keywords = {dblp}, pages = {257-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:44.000+0200}, title = {Separation Logic for Non-local Control Flow and Block Scope Variables.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#KrebbersW13}, volume = 7794, year = 2013 }