Sortiert nach
Computer Aided Verification, p.463-478
Volltextzugriff (PDF)
Interactive Theorem Proving, p.219-234
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2011, Vol.13 (1), p.37-60
2011
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2011, Vol.13 (1), p.37-60
2011
Volltextzugriff (PDF)
Static Analysis, p.477-498
Volltextzugriff (PDF)
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, 2011, p.199-213
2011
Volltextzugriff (PDF)
Static Analysis, p.205-220
Volltextzugriff (PDF)
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015, p.137-146
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.525-539
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.199-213
Volltextzugriff (PDF)
Model Checking Software, p.125-142
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.93-104
2011
Volltextzugriff (PDF)
CONCUR 2007 – Concurrency Theory, p.287-302
Volltextzugriff (PDF)
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2011, p.93-104
2011
Volltextzugriff (PDF)
Journal of physics. Conference series, 2005-01, Vol.4 (1), p.251-255
2005
Volltextzugriff (PDF)
Journal of physics. Conference series, 2005-01, Vol.4 (1)
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Artificial Intelligence
- Isabelle/hol
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Symbolic And Algebraic Manipulation
- Algorithms
- Formal Verification
- Correctness Proof
- Data Structures
- Physical Sciences
- Program Verification
- Software
- Software Engineering
- Stepwise Refinement
Kollektion
Zeitschrift / Serie
- Journal Of Automated Reasoning
- International Journal On Software Tools For Technology Transfer
- Journal Of Physics. Conference Series
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Dr2004: Sixth International Conference On Dissociative Recombination: Theory, Experiments And Applications
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
Neu hinzugefügt