Mattias Nyberg

Identifiers

• name variant Mattias Nyberg 0.60 · backfill

Papers (1)

1. Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code cs.PL · 2026 · author #3

Mentions

• 2605.21532 #3 · arxiv_oai · confidence 0.70 Mattias Nyberg

Frequent Coauthors

• Jesper Amilon 1 shared papers
• Karl Palmskog 1 shared papers
• Merlijn Sevenhuijsen 1 shared papers