Automating formal methods for computer assisted prototyping
Subtitle: colloquium...14 Jan 1992
By: organised by Professional Group C1 (Software engineering).
Contributors: Institution of Electrical Engineers. Computing and Control Division. Professional Group C1 (Software engineering).
Series: Digest -- 1992/008
Publisher: Institution of Electrical Engineers
Published: 1992
Place of publication: London
Language: eng
Notes: Cover title.