A Designer/Verifiers s Assistant

Mark Moriconi. A Designer/Verifiers s Assistant. IEEE Trans. Software Eng., 5(4):387-401, 1979.

Abstract

Abstract is missing.