Pages that link to "Item:Q2571210"
From MaRDI portal
The following pages link to Slicing techniques for verification re-use (Q2571210):
Displaying 5 items.
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Verification of Software Product Lines with Delta-Oriented Slicing (Q3067535) (← links)
- (Q4778695) (← links)
- Formal Methods for Components and Objects (Q5311295) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703816) (← links)