Proceedings of the Verkshop III
Subtitle: A Formal Verification Workshop (Software Engineering Notes; V. 10, No. 4 (Aug. 1985))
Publisher: Association for Computing Machinery
Published: December 1985
Language: eng
Format: Paperback
Number of pages: 144
ISBN-13: 9780897911719
Subjects: User Interfaces; Computers