On the Correctness of Program Execution
โ
H. Sarojadevi; S. K. Nandy; S. Balakrishnan
๐
Article
๐
2004
๐
Springer
๐
English
โ 215 KB