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




 Superordinated page: Year 1993

 Feedback
Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.