Inspecting Module Interface Specifications

Ann Jackson, Daniel Hoffman. Inspecting Module Interface Specifications. Softw. Test., Verif. Reliab., 4(2):101-117, 1994.

Abstract

Abstract is missing.