Total Correctness in Nonstandard Logics of Programs

Ildikó Sain. Total Correctness in Nonstandard Logics of Programs. Theoretical Computer Science, 50:285-321, 1987.

Authors

Ildikó Sain

This author has not been identified. Look up 'Ildikó Sain' in Google