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

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

ISSN: 0304-3975

Datum der Publikation: 1989

Ausgabe: 68

Nummer: 3

Seiten: 277-302

Art: Artikel

DOI: 10.1016/0304-3975(89)90165-5 GOOGLE SCHOLAR lock_openOpen Access editor

Objetivos de desarrollo sostenible

Datenquelle: Scopus