Lenguajes y Sistemas Informáticos
Département
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaPublications en collaboration avec des chercheurs 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