%0 Journal Article %1 journals/tocl/LeinoL15 %A Leino, K. Rustan M. %A Lucio, Paqui %D 2015 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 6 %T An Assertional Proof of the Stability and Correctness of Natural Mergesort. %U http://dblp.uni-trier.de/db/journals/tocl/tocl17.html#LeinoL15 %V 17

@article{journals/tocl/LeinoL15, added-at = {2022-06-10T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Lucio, Paqui}, biburl = {https://www.bibsonomy.org/bibtex/210b19094ab37a60cd8d13c311f919c5a/dblp}, ee = {https://doi.org/10.1145/2814571}, interhash = {2b79a8fa25fd6cc737c85a043e97df3c}, intrahash = {10b19094ab37a60cd8d13c311f919c5a}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = 6, timestamp = {2024-04-08T12:38:30.000+0200}, title = {An Assertional Proof of the Stability and Correctness of Natural Mergesort.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl17.html#LeinoL15}, volume = 17, year = 2015 }