Personensuche
X
?
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs ,
7
Axiomatic semantics for compiler verification:
, In:
?
Proceedings of the 2015 Conference on Certified Programs and Proofs ,
8