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: |
| Item Description: | περιέχει βιβλιογραφία |
|---|---|
| Physical Description: | vi, 136p. fig. |
| ISBN: | 0899711717 |
