Lucy Wöbbekind

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Instruction Set

Embedded Systems

Top Venues

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)