C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Noé Weeks
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Data Streams
Top Venues
CoRR
CAV (2)
</>
Publications
</>
Thibault Dardinier
,
Gaurav Parthasarathy
,
Noé Weeks
,
Peter Müller
,
Alexander J. Summers
Sound Automation of Magic Wands.
CAV (2)
(2022)
Thibault Dardinier
,
Gaurav Parthasarathy
,
Noé Weeks
,
Alexander J. Summers
,
Peter Müller
Sound Automation of Magic Wands (extended version).
CoRR
(2022)