Design of a Formal Estelle Semantics for Verification

J. Bredereke, R. Gotzhein, F.H. Vogt

in: M. Diaz, R. Groz (Eds.), Formal Description Techniques, V, (North-Holland), 1993, pp. 153-168

Zusammenfassung

Vollversion





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.