Tim M\"uller

Identifiers

• name variant Tim M\"uller 0.60 · backfill

Papers (1)

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

Mentions

• 2511.12276 #3 · arxiv_oai · confidence 0.70 Tim M\"uller

Frequent Coauthors

• Christopher A. Esterhuyse 1 shared papers
• L. Thomas van Binsbergen 1 shared papers