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

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

ISSN: 0304-3975

Any de publicació: 1989

Volum: 68

Número: 3

Pàgines: 277-302

Tipus: Article

DOI: 10.1016/0304-3975(89)90165-5 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus