Mostrando 1 - 3 resultados de 3 para la búsqueda [ Solsona, José E. ] Filtros
  1. 1
    Artículo On the specification and verification of the PCR parallel programming pattern in TLA+ Solsona, José E.
    2023
    Universidad de Montevideo
  2. 2
    Tesis de maestría On the specification and verification of the PCR parallel programming pattern in TLA+ Solsona, José E.
    2021
    Agencia Nacional de Investigación e Innovación
  3. 3
    Conferencia TLA+ specification of PCR parallel programming pattern Solsona, José E. - Yovine, Sergio
    2020
    Agencia Nacional de Investigación e Innovación