%0 Journal Article %1 journals/scp/HeinenJKN15 %A Heinen, Jonathan %A Jansen, Christina %A Katoen, Joost-Pieter %A Noll, Thomas %D 2015 %J Sci. Comput. Program. %K %P 157-162 %T Verifying pointer programs using graph grammars. %U http://dblp.uni-trier.de/db/journals/scp/scp97.html#HeinenJKN15 %V 97

@article{journals/scp/HeinenJKN15, added-at = {2023-12-13T05:02:04.000+0100}, author = {Heinen, Jonathan and Jansen, Christina and Katoen, Joost-Pieter and Noll, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/229c5f62f4de6c4be08e74db709e1385e/admin}, ee = {https://www.wikidata.org/entity/Q57800764}, interhash = {9d994d64441f69e255e6e40813d70b30}, intrahash = {29c5f62f4de6c4be08e74db709e1385e}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {157-162}, timestamp = {2023-12-13T05:02:04.000+0100}, title = {Verifying pointer programs using graph grammars.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp97.html#HeinenJKN15}, volume = 97, year = 2015 }