Sortiert nach
Formal methods in system design, 2020-12, Vol.56 (1-3), p.127-153
2020
Volltextzugriff (PDF)
Automated Reasoning, 2020, p.3-10
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-30
2021
Volltextzugriff (PDF)
Static Analysis, 2018, Vol.11002, p.71-76
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-03, Vol.142, p.1-1
2014
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.1469-1496
2022
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2023-01, Vol.22 (2), p.1-31, Article 23
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-11, Vol.229
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-10, Vol.1 (OOPSLA), p.1-20
2017
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.226-246
2019
Volltextzugriff (PDF)
Lecture notes in computer science, 2019, Vol.11388, p.160-182
2019
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.446-467
2019
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.309-321
2018
Volltextzugriff (PDF)
Proceedings of the ACM on management of data, 2023-12, Vol.1 (4), p.1-26, Article 227
2023
Volltextzugriff (PDF)
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, p.2203-2217
2022
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.50-68
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.1100-1124, Article 133
2024
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.155-176
2018
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.491-512
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2010-04, Vol.44 (4), p.401-424
2010
Volltextzugriff (PDF)
10th Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, Oxford, United Kingdom, 2018, Vol.11294, p.196-214
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Decision Procedure
- Verification
- Cardinality Constraint
- Software Engineering
- Computer Science, Artificial Intelligence
- Engineering
- Symbolic Execution
- Computer Science, Hardware & Architecture
- Programming Languages
- Algorithms
- Computer Science, Information Systems
- Computer Software
- Ground Term
Kollektion
- Springer Book Series
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Journals@Ovid Ovid Full Text
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Electronic Proceedings In Theoretical Computer Science
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Embedded Computing Systems
- Communications Of The Acm
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Journal Of Automated Reasoning
Neu hinzugefügt