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
Abstract
Full paper
- ps.gz (86kb)
Superordinated page: Year 1993 | |
Feedback | |
Go to the contact details of the person in charge of this page |
Deutsch | |
This page in german. Diese Seite auf deutsch. |