Login / Signup
Colin O'Halloran
Publication Activity (10 Years)
Years Active: 1990-2024
Publications (10 Years): 6
Top Topics
Formal Model
Regulatory Requirements
Industrial Applications
Cyber Security
Top Venues
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
FormaliSE@ICSE
CoRR
Formal Aspects Comput.
</>
Publications
</>