Christopher A. Esterhuyse

Identifiers

• name variant Christopher A. Esterhuyse 0.60 · backfill

Papers (1)

1. Reflections on the design, applications and implementations of the normative specification language eFLINT cs.SE · 2025 · author #2

Mentions

• 2511.12276 #2 · arxiv_oai · confidence 0.70 Christopher A. Esterhuyse

Frequent Coauthors

• L. Thomas van Binsbergen 1 shared papers
• Tim M\"uller 1 shared papers