Problem-oriented verification system and its application to linear algebra programs
From MaRDI portal
Publication:1311971
DOI10.1016/0304-3975(93)90344-SzbMath0783.68080MaRDI QIDQ1311971
V. A. Nepomnyashchij, A. A. Sulimov
Publication date: 26 January 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Uses Software
Cites Work