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