An assertional proof of the stability and correctness of Natural Mergesort
- Leino, K.R.M.
- Lucio, P.
ISSN: 1557-945X, 1529-3785
Año de publicación: 2015
Volumen: 17
Número: 1
Tipo: Artículo
Revista:
ACM Transactions on Computational Logic