A. A. Sulimov

From MaRDI portal
Person:801658

Available identifiers

zbMath Open sulimov.a-aMaRDI QIDQ801658

List of research outcomes





PublicationDate of PublicationType
Problem-oriented knowledge bases and their application in the program verification system SPEKTR1998-08-03Paper
Verification of linear algebra programs in the SPEKTR system1997-01-20Paper
Problem-oriented verification system and its application to linear algebra programs1994-01-26Paper
Problem-oriented program verification system ?SPEKTR?1987-01-01Paper
One approach to the specification and verification of translators1983-01-01Paper

Research outcomes over time

This page was built for person: A. A. Sulimov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:801658&oldid=7814812"
Powered by MediaWiki