José E. Solsona

According to our database¹, José E. Solsona authored at least 2 papers between 2022 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

On the specification and verification of the PCR parallel programming pattern in TLA+.

[BibT_eX]

[DOI]

CLEI Electron. J., May, 2023

2022

Nominal Sets in Agda - A Fresh and Immature Mechanization.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022