Login / Signup
Arthur Correnson
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Semi Automated
Electrical Engineering
Automated Analysis
Bug Reports
Top Venues
CoRR
ESEC/SIGSOFT FSE
</>
Publications
</>
Arthur Correnson
,
Dominic Steinhöfel
Engineering a Formally Verified Automated Bug Finder.
ESEC/SIGSOFT FSE
(2023)
Arthur Correnson
,
Dominic Steinhöfel
Engineering a Formally Verified Automated Bug Finder.
CoRR
(2023)