Personensuche
X
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
1
How We Built Cedar: A Verification-Guided Approach:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
14