A formal specification of an oscilloscope (1990)

by N DELISLE, D GARLAN
Venue:IEEE Softw