Publicaciones

1 publicación

Publicaciones de Teaching Formal Methods: from Software in the Small to Software in the Large (Conference Paper)

[1 LNCS]

LNCS