Login / Signup
Lucy Wöbbekind
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Instruction Set
Embedded Systems
Top Venues
SAMOS
</>
Publications
</>
Sven Gesper
,
Fabian Stuckmann
,
Lucy Wöbbekind
,
Guillermo Payá Vayá
PATARA: Extension of a Verification Framework for RISC-V Instruction Set Implementations.
SAMOS
(2023)