The Microsoft Research - University of Trento Centre for Computational and Systems Biology-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2015

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

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