The experimental Estelle Compiler

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298858 ◽

1998 ◽

Author(s):

Joachim Thees ◽

Reinhard Gotzhein

Download Full-text