Hoare's logic for nondeterministic regular programs: A nonstandard approach
- Hortalá-González, M.T.
- Rodríguez-Artalejo, M.
ISSN: 0304-3975
Año de publicación: 1989
Volumen: 68
Número: 3
Páginas: 277-302
Tipo: Artículo
Revista:
Theoretical Computer Science
