Sortiert nach
Lecture notes in computer science, 2006, p.424-437
2006
Volltextzugriff (PDF)
Frontiers of Combining Systems, 2005, p.168-183
1ère éd, 2005
Volltextzugriff (PDF)
Formal methods in system design, 2019-08, Vol.54 (1), p.4-26
2019
Volltextzugriff (PDF)
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.38-49
2020
Volltextzugriff (PDF)
Computer Aided Verification, p.712-717
Volltextzugriff (PDF)
29th International Conference on Software Engineering (ICSE'07), 2007, p.75-84
2007
Volltextzugriff (PDF)
Journal of automated reasoning, 2018, Vol.60 (1), p.23-42
2018
Volltextzugriff (PDF)
Formal methods in system design, 2018-08, Vol.53 (1), p.33-53
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.267-281
2004
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.513-520
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.2-22
2005
Volltextzugriff (PDF)
Automated Deduction – CADE-24, p.282-299
Volltextzugriff (PDF)
ACM transactions on computational logic, 2007-12, Vol.9 (1), p.4
2007
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.528-535
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2024-07, p.1-15
2024
Volltextzugriff (PDF)
32nd International Conference on Computer Aided Verification, CAV 2020,Los Angeles, United States,2020-07-21 - 2020-07-24, 2020, Vol.12224 LNCS, p.463
2020
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.387-403
Volltextzugriff (PDF)
Formal Methods in Computer-Aided Design, 2002, p.142-159
2002
Volltextzugriff (PDF)
Automated Reasoning, 2006, p.468-482
2006
Volltextzugriff (PDF)
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.2130-2141
2022
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
- Computer Science, Hardware & Architecture
- Automation & Control Systems
- Software Engineering
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Predicate Abstraction
- Decision Procedure
- Engineering
- Static Analysis
- Verification
- Artificial Intelligence
- Computer Science, Artificial Intelligence
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta Connect
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library
- IEL
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Journals@Ovid Complete
- ProQuest Dissertations & Theses A&I
- ScienceDirect Journals (5 years ago - present)
Zeitschrift / Serie
- Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Sigplan Notices
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Acm Transactions On Computational Logic
- Electronic Notes In Theoretical Computer Science
- Ieee Transactions On Software Engineering
- Journal Of Automated Reasoning
Neu hinzugefügt