Personensuche
X
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
2
How We Built Cedar: A Verification-Guided Approach:
, In:
?
Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software ,
5