Search for persons
X
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
7
How We Built Cedar: A Verification-Guided Approach:
, In:
?
Proceedings of the UNIfied Conference of DAMAS, IncoME and TEPEN Conferences (UNIfied 2023); Mechanisms and Machine Science ,
14