9 results on '"Reiner Hähnle"'
Search Results
2. Automating Software Re-engineering: Introduction to the ISoLA 2022 Track.
3. Automating Software Re-engineering - Introduction to the ISoLA 2020 Track.
4. Safer Parallelization.
5. Towards Incremental Validation of Railway Systems.
6. Fully Abstract Operation Contracts.
7. Introduction to Track on Engineering Virtualized Services.
8. HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.
9. Task Forces in the EternalS Coordination Action.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.