Search
Results
-
Verification, Model Checking, and Abstract Interpretation
(2020)Lecture Notes in Computer ScienceConference Proceedings -
The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings
(2018)Conference Proceedings -
Advancing humanitarian action: engaging with rising global actors to develop new strategic partnerships
(2013)Wilton Park ReportConference Proceedings