A. A. Sulimov

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

2 V. A. Nepomniaschy, A. A. Sulimov: Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. DISCO 1993: 374-378

1 V. A. Nepomniaschy, A. A. Sulimov: Problem-Oriented Verification System and its Application to Linear Algebra Programs. Theor. Comput. Sci. 119(1): 173-185 (1993)

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

Coauthor Index

1 Valery A. Nepomniaschy (V. A. Nepomniaschy) [1] [2]