Sortiert nach
Lecture notes in computer science, 2000, p.280-301
2000
Volltextzugriff (PDF)
Logical methods in computer science, 2009-05, Vol.5, Issue 2
2009
Volltextzugriff (PDF)
Static Analysis, p.363-377
Volltextzugriff (PDF)
Computer Aided Verification, 2006, p.547-561
2006
Volltextzugriff (PDF)
Real-time systems, 2003-09, Vol.25 (2-3), p.231-253
2003
Volltextzugriff (PDF)
Programming Languages and Systems, p.30-46
Volltextzugriff (PDF)
Computer Aided Verification, p.328-340
Volltextzugriff (PDF)
SIGPLAN notices, 2009-01, Vol.44 (1), p.239-251
2009
Volltextzugriff (PDF)
Automated Deduction – CADE-21, p.311-327
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.215-233
Volltextzugriff (PDF)
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2009, p.239-251
2009
Volltextzugriff (PDF)
International Symposium on Software Testing and Analysis: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis; 21-24 Aug. 2000, 2000, p.26-38
2000
Volltextzugriff (PDF)
Proceedings of the 2008 international symposium on Software testing and analysis, 2008, p.97-108
2008
Volltextzugriff (PDF)
Software engineering notes, 2000-09, Vol.25 (5), p.26-38
2000
Volltextzugriff (PDF)
Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, 2000-09, Vol.25 (5), p.26-38
2000
Volltextzugriff (PDF)
Computer Aided Verification, p.221-225
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Shape Analysis
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Concurrent Program
- Exact Sciences And Technology
- Theory Of Computation -- Semantics And Reasoning
- Combining Analyses
- Memory Safety
- Numerical Analysis
- Operational Semantic
- Set Analysis
- Space Bounds
- Termination
- Theory Of Computation -- Logic
Kollektion