Andrew Butterfield

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 14

Top Topics

Mixture Distributions

Business Process

Formal Verification

Top Venues

ICGSE Workshops

Publications