Symbolics ivory design and verification strategy

Neil Weste*, Chris Terman, Howard Shrobe, David Sarrazin, David Tan, Kalman Reti, Eric Nestler, Henry Minsky, Alan Corry, Jim Cherry, Clark Baker

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

1 Citation (Scopus)


Dive into the research topics of 'Symbolics ivory design and verification strategy'. Together they form a unique fingerprint.

Engineering & Materials Science