Model diagnosis using the condition specification: from conceptualization to implementation.

C. Michael Overstreet, Ernest H. Page, Richard E. Nance

Browse the full WSC paper archive.