An assertional proof of the stability and correctness of Natural Mergesort

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

ISSN: 1557-945X 1529-3785

Argitalpen urtea: 2015

Alea: 17

Zenbakia: 1

Mota: Artikulua

DOI: 10.1145/2814571 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible