The formal-methods constituency : diffusion of an emerging technology into a high-volume industrial environment /
Molina, Alfonso Hernán.
Edinburgh PICT.
Edinburgh : Edinburgh PICT,
1993.
Includes bibliography.
Inmos (Firm)
Technology assessment
Computer integrated manufacturing systems
Microprocessors
Choice (Psychology)