ML Anthology

Gamble, Rose F.

1 publications

AAAI 1991 Formal Verification of Pure Production System Programs Rose F. Gamble, Gruia-Catalin Roman, William E. Ball