Personensuche
X
?
Kindlers Literatur Lexikon (KLL) ,
2
Marx, Karl / Engels, Friedrich: Die deutsche Ideologie: Kri..:
, In:
?
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs ,
5
Axiomatic semantics for compiler verification:
, In:
?
Proceedings of the 2015 Conference on Certified Programs and Proofs ,
6