Skip to content

A verification methodology for computer systems users.

Mohammad S. Obaidat

Year1995
ProceedingsSAC

Browse the full SAC paper archive.