Authors Search About

Goguen, Joseph A.

1 publications

IJCAI 1977 Putting Theories Together to Make Specifications Rod M. Burstall, Joseph A. Goguen

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy