A. A. Sulimov

According to our database¹, A. A. Sulimov authored at least 2 papers in 1993.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

Problem-Oriented Verification System and its Application to Linear Algebra Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993