Design of a formal Estelle semantics for verification.

Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt

Browse the full FORTE paper archive.