Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus. Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Comput. J., 38(4):301-309, 1995.
No references recorded for this publication.
No citations of this publication recorded.