Personensuche
X
?
Intelligent Systems Reference Library; Challenges of Software Verification ,
7
Local Completeness in Abstract Interpretation:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
10
Exploiting Adjoints in Property Directed Reachability Analy..:
, In:
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
11
Dynamic Slicing of Reaction Systems Based on Assertions and..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
13