%0 Journal Article %1 journals/fac/LeinoY12 %A Leino, K. Rustan M. %A Yessenov, Kuat %D 2012 %J Formal Aspects Comput. %K dblp %N 4-6 %P 519-535 %T Stepwise refinement of heap-manipulating code in Chalice. %U http://dblp.uni-trier.de/db/journals/fac/fac24.html#LeinoY12 %V 24

@article{journals/fac/LeinoY12, added-at = {2022-05-09T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Yessenov, Kuat}, biburl = {https://www.bibsonomy.org/bibtex/2c6e65cefacf1b36505f6d45ce46aba72/dblp}, ee = {https://doi.org/10.1007/s00165-012-0254-3}, interhash = {ce3850c8818df7f0a675509ee743760b}, intrahash = {c6e65cefacf1b36505f6d45ce46aba72}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {4-6}, pages = {519-535}, timestamp = {2024-04-09T05:37:36.000+0200}, title = {Stepwise refinement of heap-manipulating code in Chalice.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac24.html#LeinoY12}, volume = 24, year = 2012 }