Kimberly S. Hanks

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

John C. Knight, Kimberly S. Hanks, Sean R. Travis
Tool Support for Production Use of Formal Techniques. ISSRE (2001)