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
- ps.gz (86kb)
![]() | Übergeordnete Seite: Jahr 1993 |
![]() | Feedback |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
![]() | English ![]() |
This page in english. Diese Seite auf englisch. |