Search Results

thumbnail image
PDF
PDF-1(1.39 MB)

Citation & Export

Simple citation

Droege, S.. On the practicality of Manna's method of verifying the termination and correctness of programs. Retrieved from https://doi.org/doi:10.7282/t3-rmpe-j178

Export

Statistics