Pages that link to "Item:Q3763570"
From MaRDI portal
The following pages link to Writing Larch interface language specifications (Q3763570):
Displaying 6 items.
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Abstract implementation of algebraic specifications in a temporal logic language (Q2277861) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Modular specification of frame properties in JML (Q4794726) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)