Sortiert nach
Computer Safety, Reliability, and Security, p.35-49
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2017, p.457-463
Volltextzugriff (PDF)
Interactive Theorem Proving, p.84-99
Volltextzugriff (PDF)
Automated Reasoning, 2020, p.307-323
2020
Volltextzugriff (PDF)
Interactive Theorem Proving, 2015, p.253-269
2015
Volltextzugriff (PDF)
Automated Deduction - CADE 26, 2017, Vol.10395, p.237-254
2017
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2022-09, Vol.44 (3), p.1-36
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.100-123, Article 110
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.384-403
2013
Volltextzugriff (PDF)
Interactive Theorem Proving, p.325-340
Volltextzugriff (PDF)
NASA Formal Methods, p.307-321
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.181-202
Volltextzugriff (PDF)
Interactive Theorem Proving, p.339-354
Volltextzugriff (PDF)
Interactive Theorem Proving, p.166-182
Volltextzugriff (PDF)
Computer Aided Verification, p.167-183
Volltextzugriff (PDF)
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018, p.474-479
2018
Volltextzugriff (PDF)
Computer Aided Verification, p.463-478
Volltextzugriff (PDF)
Interactive Theorem Proving, p.219-234
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2011, Vol.13 (1), p.37-60
2011
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2011, Vol.13 (1), p.37-60
2011
Volltextzugriff (PDF)
Static Analysis, p.477-498
Volltextzugriff (PDF)
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, 2011, p.199-213
2011
Volltextzugriff (PDF)
Static Analysis, p.205-220
Volltextzugriff (PDF)
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015, p.137-146
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.525-539
Volltextzugriff (PDF)
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
- Computer Science, Artificial Intelligence
- Correctness Proof
- Isabelle/hol
- Physical Sciences
- Software
- Software Engineering
- Abstract Data Type
- Abstract Domains
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Systems And Distributed Systems. User Interface
- Computer Systems Performance. Reliability
- Constraint System
- Control Node
- Exact Sciences And Technology
Kollektion
- IngentaConnect
- Springer Book Series
- Access via ACM Digital Library
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Access via Business Source (EBSCOhost)
- IEEE Electronic Library (IEL)
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Journal Of Physics. Conference Series
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Dr2004: Sixth International Conference On Dissociative Recombination: Theory, Experiments And Applications
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Sigplan Notices