Verifikation abstrakter Zustandsmaschinen (1999)

by G Schellhorn
Venue:CS Dept., University of Ulm