Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.

Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo

Browse the full ICALP paper archive.