Summary: 



Equational Specifications: Design, Implementation, and Reasoning*



S. Antoy,1 P. Forcheri,2 J. Gannon,3 and M. T. Molfino2



1Department of Computer Science

Portland State University

Portland, Oregon.

2Istituto per la Matematica Applicata

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences