Tesis doctoral

  1. Termination analysis of programs with complex control-flow 2021

    Universidad Complutense de Madrid