![](/img/cover-not-exists.png)
Problems using open modular system for automated verification
N. N. Vostroknutov, V. M. Malyshev, G. N. SolopchenkoVolume:
30
Language:
english
Pages:
4
DOI:
10.1007/bf00865049
Date:
November, 1987
File:
PDF, 419 KB
english, 1987