Publicaciones

1 publicación

Publicaciones de Interactive specification and verification of behavioral adaptation contracts

[1 Artículo de revista]

Artículos de revista