iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/fossacs/KrebbersW13.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/fossacs/KrebbersW13 AU - Krebbers, Robbert AU - Wiedijk, Freek TI - Separation Logic for Non-local Control Flow and Block Scope Variables. BT - Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings SP - 257 EP - 272 PY - 2013// DO - 10.1007/978-3-642-37075-5_17 UR - https://doi.org/10.1007/978-3-642-37075-5_17 ER -