Items where Author is "Polgreen, E."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Brain, M. 
ORCID: 0000-0003-4216-7151 & Polgreen, E. (2024).
A Pyramid Of (Formal) Software Verification.
In:
Lecture Notes in Computer Science.
26th International Symposium, FM 2024, 9-13 Sep 2024, Milan, Italy.
doi: 10.1007/978-3-031-71177-0_24