Personensuche
X
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
Towards a Trustworthy Semantics-Based Language Framework vi..:
, In:
?
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
7
Automatic induction proofs of data-structures in imperative..:
, In:
?
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security ,
9