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...
2017
Volltextzugriff (PDF)
IET cyber-physical systems, 2021-12, Vol.6 (4), p.193-207
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.268 (Proc. MARS/VPT 2018), p.185-199
2018
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.243-287
2016
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.261-284
Volltextzugriff (PDF)
Lecture Notes in Computer Science, 2019, Vol.11429, p.176
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-03, Vol.60 (3), p.337-363
2018
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.107-147
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-03, Vol.60 (3), p.337-363
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.185-204
2023
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.21-64
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Volltextzugriff (PDF)
Lecture notes in computer science, 2016, Vol.9800, p.238-267
2016
Volltextzugriff (PDF)
Formal aspects of computing, 2023-09, Vol.35 (3), p.1-26, Article 18
2023
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, 2020, Vol.12345 LNCS, p.204-218
2020
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.221-245
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, 2020, p.313-338
2020
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.246-260
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2015-11, Vol.17 (6), p.729-744
2015
Volltextzugriff (PDF)
Formal methods in system design, 2018-06, Vol.52 (3), p.229-259
2018
Volltextzugriff (PDF)
Tools and algorithms for the construction and analysis of systems, TACAS 2022, pt I, 2022, p.303
2022
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.287-312
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.85-121
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Symbolic Execution
- Proof Obligation
- Software Verification
- Software Engineering
- Deductive Verification
- Software
- Java Modeling Language
- Engineering
- Formal Verification
- Program Variable
- Automation
- Computer Science, Interdisciplinary Applications
- Program Verification
- Software Engineering/programming And Operating Systems
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- ACM Digital Library
- IEEE/IET Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Journals (MCLS)
- EZB Free E-Journals
- Journals@Ovid Full Text
- Wiley-Blackwell Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- MEDLINE
- ProQuest Dissertations & Theses A&I
- Elsevier ScienceDirect Journals
- SAGE Publications
Zeitschrift / Serie
- Deductive Software Verification – The Key Book
- Lecture Notes In Computer Science
- Clinical Research In Cardiology
- International Journal On Software Tools For Technology Transfer
- Journal Of Automated Reasoning
- Automatisierungstechnik : At
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- Formal Methods In System Design
- Iet Cyber-Physical Systems