1. REDI (v3.1) Repositorio de ANII

Autor Tasistro, Alvaro

Fecha de publicaciónTítuloTipoAutor(es)
oct-2021On the specification and verification of the PCR parallel programming pattern in TLA+Tesis de maestríaSolsona, José E.
Mostrando resultados 1 a 1 de 1