Sign in
Henrik Wachowitz
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Computing Environments
Processor Sharing
Mobile Services
Service Platform
Top Venues
ICSE Companion
</>
Publications
</>
Dirk Beyer
,
Sudeep Kanav
,
Henrik Wachowitz
CoVeriTeam Service: Verification as a Service.
ICSE Companion
(2023)