Inhibiting Factors, Market Structure and the Industrial Uptake of Formal Methods

by George Cleland · 1994