scientific article; zbMATH DE number 3566122
From MaRDI portal
Publication:4138077
zbMath0363.68017MaRDI QIDQ4138077
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Verification of linear algebra programs in the SPEKTR system ⋮ Problem-oriented verification system and its application to linear algebra programs
This page was built for publication: