Hoare s Logic for Nondeterministic Regular Programs: A Nonstandard Approach

Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo. Hoare s Logic for Nondeterministic Regular Programs: A Nonstandard Approach. Theoretical Computer Science, 68(3):277-302, 1989.

Abstract

Abstract is missing.