Pages that link to "Item:Q5316441"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5316441):
Displaying 12 items.
- Integration of a security type system into a program logic (Q935469) (← links)
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- Proof pearl: The KeY to correct and stable sorting (Q2351413) (← links)
- A program logic for resources (Q2463560) (← links)
- (Q2771738) (← links)
- Ensuring the correctness of lightweight tactics for JavaCard dynamic logic (Q2871841) (← links)
- Algebraic Methodology and Software Technology (Q5312984) (← links)
- Algebraic Methodology and Software Technology (Q5313002) (← links)
- Verification by Parallelization of Parametric Code (Q5426003) (← links)
- KeY: A Formal Method for Object-Oriented Systems (Q5428904) (← links)
- FM 2005: Formal Methods (Q5716885) (← links)