ISSE

Search

Verifikation abstrakter Zustandsmaschinen (Verification of Abstract State Machines)

G. Schellhorn

Verifikation abstrakter Zustandsmaschinen (Verification of Abstract State Machines)

published 1999 PhD thesis, Universität Ulm, Fakultät für Informatik


Downloads: