Login / Signup
Nancy A. Day
ORCID
Publication Activity (10 Years)
Years Active: 1992-2023
Publications (10 Years): 14
Top Topics
Formal Methods
Temporal Properties
Pspace Complete
Transition Systems
Top Venues
MiSE@ICSE
CoRR
Softw. Syst. Model.
IEEE Trans. Software Eng.
</>
Publications
</>