Developing High Assurance Systems: On the Role of Software Tools.

Constance L. Heitmeyer

Browse the full SAFECOMP paper archive.