%0 Conference Paper %1 conf/plpv/BorgstromCS11 %A Borgström, Johannes %A Chen, Juan %A Swamy, Nikhil %B PLPV %D 2011 %E Jhala, Ranjit %E Swierstra, Wouter %I ACM %K %P 15-26 %T Verifying stateful programs with substructural state and hoare types. %U http://dblp.uni-trier.de/db/conf/plpv/plpv2011.html#BorgstromCS11 %@ 978-1-4503-0487-0

@inproceedings{conf/plpv/BorgstromCS11, added-at = {2023-12-13T01:34:37.000+0100}, author = {Borgström, Johannes and Chen, Juan and Swamy, Nikhil}, biburl = {https://www.bibsonomy.org/bibtex/204baa6c911a94249f783e336c12053b0/admin}, booktitle = {PLPV}, crossref = {conf/plpv/2011}, editor = {Jhala, Ranjit and Swierstra, Wouter}, ee = {https://doi.org/10.1145/1929529.1929532}, interhash = {738586b41af4db2373facee6dfa1998a}, intrahash = {04baa6c911a94249f783e336c12053b0}, isbn = {978-1-4503-0487-0}, keywords = {}, pages = {15-26}, publisher = {ACM}, timestamp = {2023-12-13T01:34:37.000+0100}, title = {Verifying stateful programs with substructural state and hoare types.}, url = {http://dblp.uni-trier.de/db/conf/plpv/plpv2011.html#BorgstromCS11}, year = 2011 }