Pages that link to "Item:Q3802589"
From MaRDI portal
The following pages link to Problem-oriented program verification system ?SPEKTR? (Q3802589):
Displaying 5 items.
- SPEKTR (Q13857) (← links)
- Problem-oriented program verification (Q1082069) (← links)
- Application of conditional term substitution systems in program verification (Q1091795) (← links)
- Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
- Problem-oriented knowledge bases and their application in the program verification system SPEKTR (Q1386947) (← links)