The following pages link to (Q4808693):
Displaying 4 items.
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- Verification of Java Programs with Generics (Q5505432) (← 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)