Jesper Amilon
Identifiers
- name variant Jesper Amilon 0.60 · backfill
Papers (1)
- Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code cs.PL · 2026 · author #1
Mentions
- 2605.21532 #1 · arxiv_oai · confidence 0.70 Jesper Amilon
Frequent Coauthors
- Karl Palmskog 1 shared papers
- Mattias Nyberg 1 shared papers
- Merlijn Sevenhuijsen 1 shared papers