FRANCISCA
LUCIO CARRASCO
Investigador/a en el periodo 1988-2022
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