Problem-oriented program verification sy
β
V. A. Nepomnyashchii; S. G. Vorob'ev; A. A. Sulimov
π
Article
π
1988
π
Springer US
π
English
β 823 KB