Suchergebnisse - Nagayama, Misao

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    An NQTHM mechanization of "An exercise in the verification of multi-process programs"
    von Nagayama, Misao, Talcott, Carolyn L.

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    An NQTHM mechanization of "An exercise in the verification of multi-process programs"
    von Nagayama, Misao

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: