Sortiert nach
Hardware and Software: Verification and Testing, p.23-37
Link zum Volltext
ACM transactions on software engineering and methodology, 2014-10, Vol.24 (1), p.1-42
2014
Link zum Volltext
IEEE software, 2019-11, Vol.36 (6), p.61-65
2019
- Link zum Volltext
Automated software engineering, 2013-09, Vol.20 (3), p.391-425
2013
Link zum Volltext
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013, p.367-377
2013
Link zum Volltext
IEEE transactions on human-machine systems, 2016-04, Vol.46 (2), p.169-173
2016
- Link zum Volltext
Innovations in systems and software engineering, 2013-12, Vol.9 (4), p.257-269
2013
Link zum Volltext
Studia logica, 2016-08, Vol.104 (4), p.679-703
2016
Link zum Volltext
Proceedings of the 36th International Conference on software engineering, 2014, p.1059-1070
2014
Link zum Volltext
31st International Conference on Computer Aided Verification, CAV 2019, New York, USA, 2019, Vol.11562 LNCS, p.231
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.670-697, Article 118
2024
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.206-225
Link zum Volltext
SIGPLAN notices, , Vol.46 (6), p.504-515
Link zum Volltext
SIGLOG news, 2018-01, Vol.5 (1), p.19-19
2018
Link zum Volltext
2013 35th International Conference on Software Engineering (ICSE), 2013, p.1493-1495
2013
- Link zum Volltext
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.506-516
2015
- Link zum Volltext
SIGLOG news, 2017-05, Vol.4 (2), p.54-54
2017
Link zum Volltext
Proceedings of the 32nd ACM SIGPLAN Conference on programming language design and implementation, 2011, p.504-515
2011
Link zum Volltext
NASA Formal Methods, 2023, Vol.13903, p.397-413
2023
Link zum Volltext
SIGLOG news, 2016-08, Vol.3 (3), p.66-66
2016
Link zum Volltext
Model Checking Software, p.39-57
Link zum Volltext
SIGLOG news, 2016-05, Vol.3 (2), p.68-68
2016
Link zum Volltext
Model Checking Software, p.99-116
Link zum Volltext
2018 Formal Methods in Computer Aided Design (FMCAD), 2018, p.1-9
2018
Link zum Volltext
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
- Software
- Symbolic Execution
- Software Engineering
- Model Checking
- Java
- Engineering
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Semantics
- Theory Of Computation -- Logic -- Verification By Model Checking
- Artificial Intelligence
- Computer Science, Information Systems
- Computing Methodologies -- Symbolic And Algebraic Manipulation
- Concurrent Computing
- Engineering, Electrical & Electronic
Kollektion
- ACM Digital Library
- IngentaConnect_期刊（NSTL购买）
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEL
- Springer Books
- HEAL-Link subscriptions: Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ProQuest Dissertations & Theses A&I
- EZB Electronic Journals Library
- SpringerLink_现刊
- Ovid SocietyJournals and Single Titles
- Wiley Online Library
- JSTOR
- Publisher website
Zeitschrift / Serie
Neu hinzugefügt