Lenguajes y Sistemas Informáticos
Fachbereich
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaPublikationen in Zusammenarbeit mit Forschern von The Microsoft Research - University of Trento Centre for Computational and Systems Biology (1)
2015
-
An assertional proof of the stability and correctness of Natural Mergesort
ACM Transactions on Computational Logic, Vol. 17, Núm. 1