Publications in collaboration with researchers from 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