A. A. Sulimov

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

Valery A. Nepomniaschy, A. A. Sulimov
Problem-Oriented Verification System and its Application to Linear Algebra Programs. Theor. Comput. Sci. 119 (1) (1993)
Valery A. Nepomniaschy, A. A. Sulimov
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. DISCO (1993)