Login / Signup
Stuart Matthews
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Complex Systems
Test Generation
Probabilistic Model
Top Venues
ABZ
</>
Publications
</>
Thomas Wilson
,
Stuart Matthews
Crucible Tools for Test Generation and Animation of Alloy Models.
ABZ
(2023)