Sortiert nach
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-28
2019
Volltextzugriff (PDF)
Computer Aided Verification, p.210-226
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2013-11, Vol.35 (3), p.1-49, Article 10
2013
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-27
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2014-04, Vol.16 (2), p.127-146
2014
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-12
2017
Volltextzugriff (PDF)
Information and computation, 2018-08, Vol.261, p.383-400
2018
Volltextzugriff (PDF)
Computer Aided Verification, p.106-113
Volltextzugriff (PDF)
Computer Aided Verification, p.542-563
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, 2006, p.200-211
2006
Volltextzugriff (PDF)
Static Analysis, p.439-455
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.95-107
Volltextzugriff (PDF)
VMCAI 2023: 24th International Conference on Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.155-176
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.296-319
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.91-105
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.252-266
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.203-227
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.366-388
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.267-295
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.1-24
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.25-43
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.66-90
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.44-65
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Science & Technology - Other Topics
- Logic
- Humans
- Female
- Concurrency
- Male
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Verification
- Software Engineering
- Animals
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
Kollektion
- IngentaConnect
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- ACM Digital Library
- Springer Book Series
- MEDLINE
- IngentaConnect Journals
- ScienceDirect Journals (5 years ago - present)
- Nexis Uni
- Single Journals
- Nature Journals Online
- Wiley Online Library All Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- Oxford Journals Current Collection
- Journals@Ovid Ovid Full Text
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- De Gruyter eBooks
- Business Source Ultimate
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Euro Surveillance : Bulletin Européen Sur Les Maladies Transmissibles
- Euro Surveillance/eurosurveillance
- Nature Communications
- Plos One
- Proceedings Of The Acm On Programming Languages
- The American City & County
- The Journal Of Immunology