Login / Signup
Thomas Hastings
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Formal Methods
Open Source
Temporal Logic
Building Blocks
Top Venues
ISSRE Workshops
</>
Publications
</>
Thomas Hastings
,
Kristen R. Walcott
Continuous Verification of Open Source Components in a World of Weak Links.
ISSRE Workshops
(2022)