Hoare's logic for nondeterministic regular programs: A nonstandard approach
- Hortalá-González, M.T.
- Rodríguez-Artalejo, M.
ISSN: 0304-3975
Year of publication: 1989
Volume: 68
Issue: 3
Pages: 277-302
Type: Article
ISSN: 0304-3975
Year of publication: 1989
Volume: 68
Issue: 3
Pages: 277-302
Type: Article