An assertional proof of the stability and correctness of Natural Mergesort
- Leino, K.R.M.
- Lucio, P.
ISSN: 1557-945X, 1529-3785
Argitalpen urtea: 2015
Alea: 17
Zenbakia: 1
Mota: Artikulua
Aldizkaria:
ACM Transactions on Computational Logic
