Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri. Axiomatization of if-then-else over possibly non-halting programs and tests. IJAC, 27(3):273-298, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.