THE FORMAL-METHODS CONSTITUENCY
Subtitle: DIFFUSION OF AN EMERGING TECHNOLOGY INTO A HIGH-VOLUME INDUSTRIAL ENVIRONMENT.
Publisher: University of Edinburgh; Edinburgh PICT
Published: 1993-01-01
Number of pages: 117
ISBN-13: 9781872287515