3 ms·
The Symbolics Ivory Design and Verification Strategy (1987)
- paddy_m 2y agoThank you. I saw that there's a wealth of other docs from Symbolics at archive.org. I will spend some time exploring. https://archive.org/search?query=creator%3A%22Symbolics%22 https://archive.org/search?query=creator%3A%22Symbolics%22
- mepian 2y agoThere is more if you search by the tag: https://archive.org/search?query=subject%3A%22Symbolics%22 https://archive.org/search?query=subject%3A%22Symbolics%22