An assertional proof of the stability and correctness of Natural Mergesort

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

ISSN: 1557-945X 1529-3785

Año de publicación: 2015

Volumen: 17

Número: 1

Tipo: Artículo

DOI: 10.1145/2814571 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible