8 results on '"Reiner Hähnle"'
Search Results
2. HATS Abstract Behavioral Specification: The Architectural View.
3. ABS: A Core Language for Abstract Behavioral Specification.
4. Program Specialization via a Software Verification Tool.
5. Interleaving Symbolic Execution and Partial Evaluation.
6. Abstract Interpretation of Symbolic Execution with Explicit State Updates.
7. Verifying Object-Oriented Programs with KeY: A Tutorial.
8. Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.