An assertional proof of the stability and correctness of Natural Mergesort
- Leino, K.R.M.
- Lucio, P.
ISSN: 1557-945X, 1529-3785
Year of publication: 2015
Volume: 17
Issue: 1
Type: Article
Journal:
ACM Transactions on Computational Logic
