Lenguajes y Sistemas Informáticos
Departamento
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaPublicaciones en colaboración con investigadoras/es de 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