Publicaciones en colaboración con investigadoras/es de The Microsoft Research - University of Trento Centre for Computational and Systems Biology (1)

2015

  1. An assertional proof of the stability and correctness of Natural Mergesort

    ACM Transactions on Computational Logic, Vol. 17, Núm. 1