Personensuche
X
?
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
4
A verified algebraic representation of cairo program execut..:
, In:
?
Lecture Notes in Computer Science; Theory of Cryptography ,
12