Login / Signup
Nick Tudor
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 3
Top Topics
Formal Methods
Regulatory Requirements
Theorem Prover
Software Intensive Systems
Top Venues
FormaliSE@ICSE
CoRR
J. Syst. Softw.
</>
Publications
</>