海量图书期刊资源,随时随地畅享阅读乐趣
Problem-oriented program verification system “SPEKTR”V. A. Nepomnyashchii; S. G. Vorob'ev; A. A. Sulimov · 1987