José E. Solsona

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny.

[BibT_eX]

[DOI]

CoRR, September, 2025

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