Sortiert nach
FM 2016: Formal Methods, p.659-676
Volltextzugriff (PDF)
2009 IEEE 25th International Conference on Data Engineering, 2009, p.1024-1035
2009
Volltextzugriff (PDF)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.45-54
2010
Volltextzugriff (PDF)
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011, p.253-262
2011
Volltextzugriff (PDF)
IEEE access, 2020, Vol.8, p.82085-82099
2020
Volltextzugriff (PDF)
Formal aspects of computing, 2019-04, Vol.31 (2), p.207-230
2019
Volltextzugriff (PDF)
Information and software technology, 2021-08, Vol.136, p.106573, Article 106573
2021
Volltextzugriff (PDF)
Chinese Journal of Electronics, 2017-11, Vol.26 (6), p.1132-1138
2017
Volltextzugriff (PDF)
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), 2017, p.24-34
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)
The Journal of systems and software, 2017-12, Vol.134, p.105-119
2017
Volltextzugriff (PDF)
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016, p.353-364
2016
Volltextzugriff (PDF)
IEEE transactions on knowledge and data engineering, 2011-02, Vol.23 (2), p.282-296
2011
Volltextzugriff (PDF)
IEEE transactions on intelligent transportation systems, 2022-07, Vol.23 (7), p.9506-9517
2022
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.1263-1275
2023
Volltextzugriff (PDF)
2006 13th Working Conference on Reverse Engineering, 2006, p.51-60
2006
Volltextzugriff (PDF)
Journal of software maintenance and evolution, 2008-07, Vol.20 (4), p.227-247
2008
Volltextzugriff (PDF)
2011 33rd International Conference on Software Engineering (ICSE), 2011, p.91-100
2011
Volltextzugriff (PDF)
Information systems (Oxford), 2009-06, Vol.34 (4), p.438-453
2009
Volltextzugriff (PDF)
Programming Languages and Systems, p.3-22
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.366-388
2023
Volltextzugriff (PDF)
Science of computer programming, 2010-11, Vol.75 (11), p.1048-1076
2010
Volltextzugriff (PDF)
Information and software technology, 2015-10, Vol.66, p.40-57
2015
Volltextzugriff (PDF)
Database Systems for Advanced Applications, Vol.4947, p.67-83
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
- Software Engineering
- Computer Science, Artificial Intelligence
- Software
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Programming & Scripting Languages: General
- Engineering
- Engineering, Electrical & Electronic
- Specification Mining
- Computer Science, Information Systems
- Data Mining
- Recursive Call
- Theoretical Computing
- Code Clones
Kollektion
- ACM Digital Library
- IngentaConnect
- IEL
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- Taylor & Francis eBooks A-Z
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerLink
- Ovid SocietyJournals and Single Titles
- Wiley-Blackwell Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- Business Source Ultimate
- ProQuest Dissertations & Theses A&I
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Sigplan Notices
- Higher-Order And Symbolic Computation
- Information And Software Technology
- Science Of Computer Programming
- Acm Transactions On Programming Languages And Systems
- Acm Transactions On Software Engineering And Methodology
- Chinese Journal Of Electronics
- Formal Aspects Of Computing
- Ieee Access
- Ieee Transactions On Intelligent Transportation Systems