Animating Formal Specifications
Publisher: AEA Technology Plc
Published: December 31, 1987
Format: Paperback
ISBN-13: 9780705813860
Subjects: Nuclear power industries; Nuclear power & engineering