Sign in
José E. Solsona
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Digital Libraries
Computational Complexity
Top Venues
CoRR
</>
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)