A Component-Based Approach to Building Formal Analysis Tools.

Kurt Stirewalt, Laura K. Dillon

Browse the full ICSE paper archive.