ML Anthology
Authors
Search
About
de Bruin, Jos
1 publications
IJCAI
1981
Symbolic Evaluation of LISP Functions with Side Effects for Verification
Dennis de Champeaux
,
Jos de Bruin