Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Hardware and Software: Verification and Testing, p.23-37
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2014-09, Vol.24 (1), p.1-42
2014
Volltextzugriff (PDF)
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013, p.367-377
2013
Volltextzugriff (PDF)
IEEE software, 2019-11, Vol.36 (6), p.61-65
2019
Volltextzugriff (PDF)
IEEE transactions on human-machine systems, 2016-04, Vol.46 (2), p.169-173
2016
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2013-12, Vol.9 (4), p.257-269
2013
Volltextzugriff (PDF)
31st International Conference on Computer Aided Verification, CAV 2019, New York, USA, 2019, Vol.11562 LNCS, p.231
2019
Volltextzugriff (PDF)
NASA Formal Methods, p.322-336
Volltextzugriff (PDF)
Studia logica, 2016-08, Vol.104 (4), p.679-703
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.670-697, Article 118
2024
Volltextzugriff (PDF)
Proceedings of the 36th International Conference on Software Engineering, 2014, p.1059-1070
2014
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.206-225
Volltextzugriff (PDF)
SIGPLAN notices, 2011-06, Vol.46 (6), p.504-515
2011
Volltextzugriff (PDF)
2013 35th International Conference on Software Engineering (ICSE), 2013, p.1493-1495
2013
Volltextzugriff (PDF)
NASA Formal Methods, 2023, Vol.13903, p.397-413
2023
Volltextzugriff (PDF)
NASA Formal Methods, p.441-446
Volltextzugriff (PDF)
NASA Formal Methods, p.383-397
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.506-516
2015
Volltextzugriff (PDF)
NASA Formal Methods, p.108-123
Volltextzugriff (PDF)
NASA Formal Methods, p.276-290
Volltextzugriff (PDF)
NASA Formal Methods, p.352-367
Volltextzugriff (PDF)
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.504-515
2011
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Model Check
- Computer Science, Theory & Methods
- Software Engineering
- Symbolic Execution
- Engineering
- Software
- Model Checking
- Engineering, Electrical & Electronic
- Formal Methods
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Logic -- Verification By Model Checking
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Java
- Computer Science, Artificial Intelligence
- Semantics
- Abstract Domain
Kollektion
- Ingenta Connect
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library Complete
- IEEE Xplore
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ProQuest Dissertations & Theses A&I
- Springer journals
- JSTOR
- Journals@Ovid Ovid Full Text
- Single Journals
Zeitschrift / Serie
- Siglog News
- Software Engineering Notes
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Software Engineering And Methodology
- Archives Of Clinical And Biomedical Research
- Ieee Software
- Ieee Transactions On Human-Machine Systems
- Innovations In Systems And Software Engineering
- International Journal Of Engineering Research & Technology
Neu hinzugefügt