A verification methodology for computer systems users

Mohammad S. Obaidat. A verification methodology for computer systems users. In SAC. pages 258-262, 1995. [doi]

Abstract

Abstract is missing.