Login / Signup
Anthony J. Narkawicz
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 3
Top Topics
Theorem Prover
Formal Verification
Recursive Functions
Model Checker
Top Venues
ITP
J. Formaliz. Reason.
SYNASC
J. Autom. Reason.
</>
Publications
</>