Publicacions en col·laboració amb investigadors/es de University of Namur (2)

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

2007

  1. Termination analysis of logic programs through combination of type-based norms

    ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2