A Formal Specification of an Oscilloscope

Norman M. Delisle, David Garlan. A Formal Specification of an Oscilloscope. IEEE Software, 7(5):29-36, 1990.

Abstract

Abstract is missing.