Sortiert nach
1st Edition 2016, 2016
Link zum Volltext
Formal methods in system design, 2021-09, Vol.57 (3), p.343-400
2021
Link zum Volltext
Static Analysis, p.147-169
Link zum Volltext
Formal methods in system design, 2018-10, Vol.53 (2), p.165-165
2018
Link zum Volltext
Formal methods in system design, 2018, Vol.53 (2), p.165-165
2018
Link zum Volltext
Formal methods in system design, 2018-01, Vol.53 (2), p.165-165
2018
Link zum Volltext
Lecture notes in computer science, 2005, p.5-20
2005
Link zum Volltext
Static Analysis, p.489-510
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.161-185
2013
Link zum Volltext
ACM transactions on programming languages and systems, 2007-08, Vol.29 (5), p.26
2007
Link zum Volltext
Static Analysis, p.361-382
Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2018-11, Vol.37 (11), p.2311-2322
2018
- Link zum Volltext
Software, practice & experience, 2019-05, Vol.49 (5), p.840-884
2019
Link zum Volltext
Static Analysis, p.39-57
Link zum Volltext
Static Analysis, p.424-446
Link zum Volltext
Static Analysis, p.84-104
Link zum Volltext
Computer languages, systems & structures, 2017-01, Vol.47 (1), p.104-129
2017
Link zum Volltext
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.335-366, Article 12
2023
Link zum Volltext
Static Analysis, p.23-38
Link zum Volltext
Static Analysis, p.170-188
Link zum Volltext
Static Analysis, p.317-337
Link zum Volltext
Static Analysis, p.189-211
Link zum Volltext
Software, practice & experience, 2019-01
2019
Link zum Volltext
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
- Abstract Interpretation
- Programming Languages
- Abstract Domain
- Static Analysis
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- False Alarm
- Engineering
- Shape Analysis
- Software
- Software Engineering
- Verification
- Logic
- Science & Technology - Other Topics
Kollektion
- Ingenta Connect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- EZB Electronic Journals Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- SpringerLink (Online service)
- EBSCOhost Business Source Ultimate
- IEEE Xplore
- Wiley Online Library Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- Wiley Online Library Full Collection 2018
- Single Journals
- Psychology & Behavioral Sciences Collection (EBSCO)
Zeitschrift / Serie
- Formal Methods In System Design
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Electronic Notes In Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Software, Practice & Experience
- Computer Languages, Systems & Structures
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs