Login / Signup
Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18-21, 1985.
Brian T. Smith
Published in:
ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
</>
cellular automata
database
information retrieval
website