Sortiert nach
Static Analysis, 2014, p.285-301
2014
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.356-371
2015
Volltextzugriff (PDF)
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.147-163
2005
Volltextzugriff (PDF)
Static Analysis, p.389-410
Volltextzugriff (PDF)
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10695
2017
Volltextzugriff (PDF)
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, 2011, p.184-198
2011
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.184-198
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.318-335
2006
Volltextzugriff (PDF)
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
Static Analysis, p.225-246
Volltextzugriff (PDF)
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
CHI '14 Extended Abstracts on Human Factors in Computing Systems, 2014, p.2347-2352
2014
Volltextzugriff (PDF)
Static Analysis, 2014, p.134-150
2014
Volltextzugriff (PDF)
Programming Languages and Systems, p.105-123
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10695
2017
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.33-47
Volltextzugriff (PDF)
Programming Languages and Systems, p.127-147
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10695
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.364-387
2006
Volltextzugriff (PDF)
Formal Methods for Components and Objects, p.364-387
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10695
2017
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Abstract Interpretation
- Programming Languages
- Abstract Domain
- Separation Logic
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
Kollektion
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Communications Of The Acm
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Grid Computing - Grid 2002