Publicaciones

1 publicación

Publicaciones de TJT: testing temporal logic in JAVA programs

[1 Artículo de congreso]

Artículos de congreso