Sortiert nach
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.465-480
2018
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.47-61
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.423-444
2018
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.196-218
Link zum Volltext
Software Engineering and Formal Methods, p.282-300
Link zum Volltext
Computer Science -- Theory and Applications, 2015, Vol.9139, p.426-442
2015
Link zum Volltext
Computer Aided Verification, p.745-761
Link zum Volltext
Fundamentals of Computation Theory, p.3-10
Link zum Volltext
Static Analysis, p.280-297
Link zum Volltext
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2017, p.1-24
2017
Link zum Volltext
Programming Languages and Systems, 2017, Vol.10201, p.611-638
2017
Link zum Volltext
Automated Technology for Verification and Analysis, p.196-212
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2020, 2020, Vol.12178, p.429-446
2020
Link zum Volltext
PRIMA 2015: Principles and Practice of Multi-Agent Systems, p.185-200
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.214-228
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.313-328
2015
Link zum Volltext
Mathematical Foundations of Computer Science 2014, p.208-219
Link zum Volltext
NASA Formal Methods, 2017, Vol.10227, p.265-281
2017
Link zum Volltext
Automata, Languages, and Programming, p.375-387
Link zum Volltext
Computer Aided Verification, p.561-579
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2018, Vol.10747, p.205-225
2018
Link zum Volltext
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014, p.41-51
2014
Link zum Volltext
Integrated Formal Methods, p.3-17
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Abstract Domain
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Model Check
- Ranking Function
- Computer Science, Artificial Intelligence
- Dynamic Analysis
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Relation Symbol
- Robotics
- Algorithms & Data Structures