Login / Signup
James Baxter
ORCID
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 15
Top Topics
Robotic Systems
Virtual Machine
Theorem Prover
State Machines
Top Venues
CoRR
Acta Informatica
IFM
RAMiCS
</>
Publications
</>