Login / Signup
Nicholas Coughlin
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 8
Top Topics
Formal Specification
Reasoning Mechanism
Multicore Processors
Information Flows
Top Venues
CSF
FM
Formal Aspects Comput.
Sci. Comput. Program.
</>
Publications
</>