Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
New York
Association for Computing Machinery
c1985
|
| Subjects: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
| Call Number: |
005.1 |
|---|---|
| Copy 1 | Available |
