Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Equational Specifications: Design, Implementation, and Reasoning* S. Antoy,1 P. Forcheri,2 J. Gannon,3 and M. T. Molfino2
 

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