Personensuche
X
?
Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic ,
1
Advanced Memory and Shape Analyses:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
2
A Product of Shape and Sequence Abstractions:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
4
Sound Symbolic Execution via Abstract Interpretation and It..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
6
Lightweight Shape Analysis Based on Physical Types:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
8