Sortiert nach
Programming Languages and Systems, p.472-491
Link zum Volltext
Fundamental Approaches to Software Engineering, p.84-99
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.364-382
2018
Link zum Volltext
Service-Oriented Computing, p.36-52
Link zum Volltext
Computer Aided Verification, p.797-813
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.127-145
2018
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.383-401
2018
Link zum Volltext
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.291-308
2018
Link zum Volltext
Static Analysis, p.334-350
Link zum Volltext
Service-Oriented Computing – ICSOC 2008, p.545-550
Link zum Volltext
Computer Aided Verification, p.314-327
Link zum Volltext
Semantics, Logics, and Calculi, 2016, Vol.9560, p.88-110
2016
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Abstract Interpretation
- Termination Proof
- Abstract Domain
- Abstract State
- Automated Test Generation
- Basic Block
- Beschleunigung
- Cloud
- Computer Programming / Software Development
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
- Concrete State
- Control Flow Graph
- Coverage Criterion
- Cpa
Kollektion