Inventor
FLORIAN RABE
Inventor
DE
Overview
Patents· 1 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
11,921,616Retaining Dafny specifications2024Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2024Patents assigned to AMAZON TECH INC (1)· patent assignee history
2024Based in DE· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| AMAZON TECH INC | 1 | 2024 |
Locations
| Location | Patents | Span |
|---|---|---|
| DE | 1 | 2024 |