Login / Signup
Marc Hamilton
Publication Activity (10 Years)
Years Active: 2006-2017
Publications (10 Years): 2
Top Topics
Model Based Testing
Formal Specification
Temporal Logic
Distributed Systems
Top Venues
MBT
MODELSWARD
ITSLE@SPLASH
</>
Publications
</>