Tesis doctoral

  1. Model checking of strategy-controlled systems in rewriting logic 2022

    Universidad Complutense de Madrid