Publicacions en col·laboració amb investigadors/es de Inria Grenoble - Rhône-Alpes research centre (1)

2010

  1. Semi-automatic specification of behavioural service adaptation contracts

    Electronic Notes in Theoretical Computer Science