Hoare's logic for nondeterministic regular programs: A nonstandard approach

  1. Hortalá-González, M.T.
  2. Rodríguez-Artalejo, M.
Journal:
Theoretical Computer Science

ISSN: 0304-3975

Year of publication: 1989

Volume: 68

Issue: 3

Pages: 277-302

Type: Article

DOI: 10.1016/0304-3975(89)90165-5 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus