Login / Signup
Mark J. Wheelhouse
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 2
Top Topics
Reasoning Process
Case Based Reasoner
Analogical Reasoning
Communication Services
Top Venues
SEET@ICSE
Theory and Practice of Formal Methods
MFPS
</>
Publications
</>