Pages that link to "Item:Q1183788"
From MaRDI portal
The following pages link to Problem-oriented approach to verification of file-processing programs (Q1183788):
Displaying 5 items.
- One approach to the specification and verification of translators (Q801659) (← links)
- Problem-oriented program verification (Q1082069) (← links)
- Program verification. (Q2756738) (← links)
- Verification rules of computerized information system model with respect to data resource processing (Q2764833) (← links)
- The use of ghost variables and virtual programming in the documentation and verification of programs (Q3334049) (← links)