Brandon M. Moore

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 8

Top Topics

Predicate Logic

State Transition

Logical Reasoning

Top Venues

FM Workshops (1)

Publications