José E. Solsona

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Digital Libraries

Computational Complexity

Top Venues

Publications

José E. Solsona
On the specification and verification of the PCR parallel programming pattern in TLA+. CLEI Electron. J. 26 (1) (2023)
Miguel Pagano, José E. Solsona
Nominal Sets in Agda - A Fresh and Immature Mechanization. CoRR (2023)