Sortiert nach
Computer Aided Verification, p.243-259
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.319-336
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.860-883, Article 141
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.2171-2195, Article 298
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-29
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-10, Vol.96 (Proc. GandALF 2012), p.29-42
2012
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.952-981, Article 33
2023
Volltextzugriff (PDF)
Proceedings of the 2021 International Conference on Management of Data, 2021, p.499-512
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 219
2020
Volltextzugriff (PDF)
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.817-828
2021
Volltextzugriff (PDF)
Proceedings of the 2021 International Conference on Management of Data, 2021, p.2706-2710
2021
Volltextzugriff (PDF)
Theoretical computer science, 2012-01, Vol.413 (1), p.21-35
2012
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27
2021
Volltextzugriff (PDF)
Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, 2020, p.2741-2744
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.395-423
2022
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2023, p.185-195
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-28
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-29, Article 212
2020
Volltextzugriff (PDF)
Theoretical computer science, 2012, Vol.413 (1), p.21-35
2012
Volltextzugriff (PDF)
Theoretical computer science, 2014-12, Vol.560, p.348-363
2014
Volltextzugriff (PDF)
Computer Aided Verification, p.163-179
Volltextzugriff (PDF)
Lecture notes in computer science, 2015, Vol.9032, p.105-131
2015
Volltextzugriff (PDF)
Formal methods in system design, 2017, Vol.50 (2-3), p.97-139
2017
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1160-1170
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Program Synthesis
- Software And Its Engineering
- Programming By Example
- Automatic Programming
- Program Transformation
- Quantitative Analysis
- Artificial Intelligence
- Computer Science, Information Systems
- Concurrent Program
- Engineering
- Game Graph
- Mathematics
- Refactoring
- Security And Privacy -- Formal Methods And Theory Of Security -- Trust Frameworks
- Software And Its Engineering -- Automatic Programming
Kollektion
- ACM Digital Library Complete
- EZB Electronic Journals Library
- IngentaConnect Journals
- SpringerLink Series
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Journals@Ovid
- SpringerLink_现刊
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Sigplan Notices
- Theoretical Computer Science
- Axioms
- Communications Of The Korean Mathematical Society
- Acm Sigplan Notices
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Methods In System Design
Neu hinzugefügt