Sortiert nach
Software, practice & experience, 2024-03, Vol.54 (3), p.528-540
2024
Volltextzugriff (PDF)
Software, practice & experience, 2022-05, Vol.52 (5), p.1294-1304
2022
Volltextzugriff (PDF)
Information processing letters, 2020-02, Vol.154, p.105866, Article 105866
2020
Volltextzugriff (PDF)
Science of computer programming, 2021-01, Vol.201, p.102536, Article 102536
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2007-08, Vol.19 (3), p.343-362
2007
Volltextzugriff (PDF)
Science of computer programming, 2015-09, Vol.107-108, p.1-1
2015
Volltextzugriff (PDF)
Science of computer programming, 2014-10, Vol.92, p.105-128
2014
Volltextzugriff (PDF)
Science of computer programming, 2019-07, Vol.181, p.84-110
2019
Volltextzugriff (PDF)
Information processing letters, 2016-11, Vol.116 (11), p.701-705
2016
Volltextzugriff (PDF)
Software and systems modeling, 2017-07, Vol.16 (3), p.875-902
2017
Volltextzugriff (PDF)
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024, p.667-668
2024
Volltextzugriff (PDF)
Acta informatica, 2011-12, Vol.48 (7-8), p.363-396
2011
Volltextzugriff (PDF)
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement, 2012, p.201-210
2012
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.227-242
Volltextzugriff (PDF)
Acta informatica, 2011-12, Vol.48 (7-8), p.363
2011
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.179-194
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.235-252
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.99-114
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.195-210
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.67-82
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.83-98
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.211-226
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.34-50
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Semantics
- Program Synthesis
- Programming Languages
- Software Engineering
- Genetic Algorithm
- Theorem Proving
- Algebra
- Alloy
- Applied Sciences
- Cml
- Computer Science, Information Systems
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Refinement
- Software
Kollektion
- Ingenta
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature
- ACM Digital Library
- IEEE Xplore
- Wiley Journals
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Science Of Computer Programming
- Acta Informatica
- Electronic Notes In Theoretical Computer Science
- Information Processing Letters
- Software, Practice & Experience
- Formal Aspects Of Computing
- Innovations In Systems And Software Engineering
- Software And Systems Modeling
- Software, Practice & Experience/software, Practice And Experience
Neu hinzugefügt