Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
3
Verified Security for the Morello Capability-enhanced Proto..:
, In:
?
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
5
Proof pearl: Braun trees:
, In:
?
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems ,
11