Publications en collaboration avec des chercheurs 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