Pages that link to "Item:Q5953451"
From MaRDI portal
The following pages link to A case study in class library verification: Java's vector class (Q5953451):
Displaying 6 items.
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- FM 2005: Formal Methods (Q5716910) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902538) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- Integrating ADTs in KeY and Their Application to History-Based Reasoning (Q6488468) (← links)