Autor Solsona, José E.
| Fecha de publicación | Título | Tipo | Autor(es) |
|---|---|---|---|
| oct-2021 | On the specification and verification of the PCR parallel programming pattern in TLA+ | Tesis de maestría | Solsona, José E. |
| oct-2020 | TLA+ specification of PCR parallel programming pattern | Documento de conferencia | Solsona, José E.; Yovine, Sergio |