Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Computer Aided Verification, 2013, p.347-363
2013
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2017-06, Vol.39 (2), p.1-28, Article 8
2017
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-08, Vol.140, p.100978, Article 100978
2024
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-01, Vol.136, p.100906, Article 100906
2024
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.1-21
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-11, Vol.229 (Proc. SYNT 2016), p.100-111
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1150-1178, Article 39
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-30
2019
Volltextzugriff (PDF)
Computer Aided Verification, p.3-29
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.928-951, Article 144
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.80-98
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-28
2018
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.2, p.689-692
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.97-117
Volltextzugriff (PDF)
Formal methods in system design, 2017-12, Vol.51 (3), p.500-532
2017
Volltextzugriff (PDF)
SIGPLAN notices, 2013-10, Vol.48 (10), p.407-426
2013
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2022, Vol.13182, p.301-318
2022
Volltextzugriff (PDF)
Computer Aided Verification, p.592-600
Volltextzugriff (PDF)
Formal methods in system design, 2019-12, Vol.55 (2), p.73-102
2019
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2022, Vol.13182, p.332-354
2022
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.251-266
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Hardware & Architecture
- Applied Computing -- Arts And Humanities -- Architecture -- Computer-Aided Design
- Applied Computing -- Physical Sciences And Engineering -- Engineering -- Computer-Aided Design
- Decision Procedure
- Verification
- Exact Sciences And Technology
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Cardinality Constraint
- Satisfiability Modulo Theories
- Program Verification
- Theory Of Computation -- Logic
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- ACM Digital Library
- IEEE Explore
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Complete Springer Journals
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- BSC - Ebsco (Business Source Ultimate)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Electronic Proceedings In Theoretical Computer Science
- Formal Methods In System Design
- Information And Software Technology
- Journal Of Logical And Algebraic Methods In Programming
- Acm Transactions On Computer Systems
- Acm Transactions On Programming Languages And Systems