Login / Signup
Brian Kempa
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Multiple Types
Reverse Nearest Neighbor
Modal Logic
Formal Verification
Top Venues
CAV (3)
NSV/FoMLAS@CAV
FORMATS
FMICS
</>
Publications
</>