Pages that link to "Item:Q4884666"
From MaRDI portal
The following pages link to Program derivation with verified transformations — a case study (Q4884666):
Displaying 4 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (Q2801764) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)