A practical language and toolkit for high-integrity tools

Ian Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob. A practical language and toolkit for high-integrity tools. Journal of Systems and Software, 41(3):161-173, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.