Sortiert nach
Verification, Model Checking, and Abstract Interpretation, p.279-294
Link zum Volltext
Lecture notes in computer science, 2005, p.330-345
2005
Link zum Volltext
Computer Aided Verification, p.661-667
Link zum Volltext
Lecture notes in computer science, 2006, p.3-17
2006
Link zum Volltext
Formal Verification of Object-Oriented Software, p.10-30
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.3-40
Link zum Volltext
Lecture notes in computer science, 2001, p.234-259
2001
Link zum Volltext
Static Analysis, p.189-204
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.229-244
Link zum Volltext
Lecture notes in computer science, 2004, p.149-164
2004
Link zum Volltext
Lecture notes in computer science, 2004, p.296-311
2004
Link zum Volltext
Lecture notes in computer science, 2001, p.412-430
2001
Link zum Volltext
Static Analysis, p.184-199
Link zum Volltext
Lecture notes in computer science, 2001, p.117-137
2001
Link zum Volltext
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, p.520-531
Link zum Volltext
Lecture notes in computer science, 1998, p.152-167
1998
Link zum Volltext
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, 2011, p.105-118
2011
Link zum Volltext
Proceedings of the FSE/SDP workshop on future of software engineering research, 2010, p.393-396
2010
Link zum Volltext
Proceedings of the 13th International Workshop on software & compilers for embedded systems, 2010, p.1-10
2010
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Abstract Domain
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Data Structures And Algorithms
- Static Analysis
- Theoretical Computing
- Complete Lattice
- Language Theory And Syntactical Analysis
- Program Variable
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Analysis
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification