Sortiert nach
Software, practice & experience, 2016-06, Vol.46 (6), p.767-788
2016
Link zum Volltext
ACM transactions on programming languages and systems, 2011-01, Vol.33 (1), p.1-55
2011
Link zum Volltext
An empirical assessment of machine learning approaches for triaging reports of static analysis tools
2023
Link zum Volltext
IEEE transactions on software engineering, 2014-03, Vol.40 (3), p.251-265
2014
- Link zum Volltext
International journal on software tools for technology transfer, 2013-10, Vol.15 (5-6), p.497-518
2013
Link zum Volltext
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.330-342
2021
- Link zum Volltext
Formal methods in system design, 2017-03, Vol.50 (1), p.75-95
2017
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-25
2019
Link zum Volltext
ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-38, Article 13
2014
Link zum Volltext
Verified Software: Theories, Tools, Experiments, p.278-293
Link zum Volltext
ACM transactions on programming languages and systems, 2008-07, Vol.30 (4), p.1-63
2008
Link zum Volltext
ACM transactions on programming languages and systems, 2006-11, Vol.28 (6), p.1035-1087
2006
Link zum Volltext
Proceedings of the 34th International Conference on Software Engineering, 2012, p.903-913
2012
Link zum Volltext
NASA Formal Methods, 2023, Vol.13903, p.397-413
2023
Link zum Volltext
Information and computation, 2008-02, Vol.206 (2), p.130-157
2008
Link zum Volltext
15th International Symposium on Software Reliability Engineering, 2004, p.245-256
2004
- Link zum Volltext
Software, practice & experience, 2010-03, Vol.40 (3), p.225-238
2010
Link zum Volltext
Lecture notes in computer science, 2006, p.309-324
2006
Link zum Volltext
SIGPLAN notices, 2010-01, Vol.45 (1), p.313-326
2010
Link zum Volltext
Lecture notes in computer science, 2006, p.88-106
2006
Link zum Volltext
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27
2021
Link zum Volltext
IEEE transactions on software engineering, 2008-05, Vol.34 (3), p.357-376
2008
- Link zum Volltext
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019, p.966-979
2019
Link zum Volltext
Proceedings of the National Academy of Sciences - PNAS, 2001-07, Vol.98 (14), p.8151-8156
2001
Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1584-1607, Article 171
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Male
- Female
- Aged
- Middle Aged
- Animals
- Biological And Medical Sciences
- Neurosciences & Neurology
- Aged, 80 And Over
- Technology
- Medical Sciences
- Alzheimer's Disease
- Adult
- Science & Technology - Other Topics
- Physical Sciences
- Multidisciplinary Sciences
- Neurosciences
- Computer Science
Kollektion
- MEDLINE
- EZB Electronic Journals Library
- Ingenta
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- NUS Single-Journal Subscriptions
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- De Gruyter eBooks
- Wiley Online Library - AutoHoldings Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- Jstor Complete Legacy
- SpringerLink
- ACM Digital Library Complete
- Springer Nature - Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford University Press Journals Current
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
Neu hinzugefügt