Login / Signup
Tim Nelson
ORCID
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 21
Top Topics
Mutation Testing
Provably Correct
Formal Methods
Network Properties
Top Venues
CoRR
Art Sci. Eng. Program.
FM
HotNets
</>
Publications
</>