Nondeterministic program schemata and th
โ
V. A. Nepomnyashchii; N. V. Shilov
๐
Article
๐
1989
๐
Springer US
๐
English
โ 932 KB