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

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

ISSN: 0304-3975

Argitalpen urtea: 1989

Alea: 68

Zenbakia: 3

Orrialdeak: 277-302

Mota: Artikulua

DOI: 10.1016/0304-3975(89)90165-5 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus