Login / Signup
Jonathan P. Bowen
ORCID
Publication Activity (10 Years)
Years Active: 1985-2024
Publications (10 Years): 63
Top Topics
Provably Correct
Formal Methods
Smart City
Google Scholar
Top Venues
EVA
CoRR
SETSS
Formal Aspects Comput.
</>
Publications
</>