Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 4, NO. 20, APRIL 1994, PP. 259* Using Term Rewriting to Verify Software*
 

Summary:  IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 4, NO. 20, APRIL 1994, PP. 259*
*-274





Using Term Rewriting to Verify Software*



Sergio Antoy John Gannon



Portland State University University of Maryland

Department of Computer Science Department of Computer Science

Portland, OR 97207 College Park, MD 20742

  

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

 

Collections: Computer Technologies and Information Sciences