Tool Support for Production Use of Formal Techniques.

John C. Knight, Kimberly S. Hanks, Sean R. Travis

Browse the full ISSRE paper archive.