Pages that link to "Item:Q3600471"
From MaRDI portal
The following pages link to Reducing Behavioural to Structural Properties of Programs with Procedures (Q3600471):
Displaying 4 items.
- Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties (Q3067539) (← links)
- ProMoVer: Modular Verification of Temporal Safety Properties (Q3095249) (← links)
- A theory of reduced and minimal procedural dependencies (Q5375401) (← links)