Joffrey Huguet -

Registered user since Thu 2 Jan 2025

Name:Joffrey Huguet

Country:France

Affiliation:AdaCore

Contributions

2026

Dafny

Author of Managing the Proof Context in SPARK within the Dafny 2026-track

2025

VMCAI

Author of Two-way collaboration between flow and proof in SPARK within the VMCAI 2025-track