Muse - A Computer Assisted Verification System

J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson. Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng., 13(2):151-156, 1987.

Abstract

Abstract is missing.