Verification of linear algebra programs in the SPEKTR system (Q1816342)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verification of linear algebra programs in the SPEKTR system |
scientific article; zbMATH DE number 949084
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of linear algebra programs in the SPEKTR system |
scientific article; zbMATH DE number 949084 |
Statements
Verification of linear algebra programs in the SPEKTR system (English)
0 references
20 January 1997
0 references
program verification
0 references
verification of linear algebra programs
0 references
problem-oriented verification system
0 references