Login / Signup
Andrew Butterfield
ORCID
Publication Activity (10 Years)
Years Active: 1993-2023
Publications (10 Years): 14
Top Topics
Mixture Distributions
Business Process
Formal Verification
Model Checker
Top Venues
ICGSE Workshops
FM
UTP
VSTTE
</>
Publications
</>