Vincent Trélat

According to our database¹, Vincent Trélat authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Safely Encoding B Proof Obligations in SMT-LIB.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

2024

Substitutions for Lambda-Free Higher-Order Terms.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2024

2022

Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2022