An assertional proof of the stability and correctness of Natural Mergesort

  1. Leino, K.R.M.
  2. Lucio, P.
Journal:
ACM Transactions on Computational Logic

ISSN: 1557-945X 1529-3785

Year of publication: 2015

Volume: 17

Issue: 1

Type: Article

DOI: 10.1145/2814571 GOOGLE SCHOLAR