Publicaciones en colaboración con investigadores/as 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