Calculation of invariants of programs in
โ
M. S. L'vov
๐
Article
๐
1984
๐
Springer US
๐
English
โ 737 KB