Jesper Amilon

Identifiers

• name variant Jesper Amilon 0.60 · backfill

Papers (1)

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