Deductive synthesis of astronomical software using the Maude term rewriting system
Castanares, Anthony.
The University of Texas at El Paso ProQuest Dissertations Publishing, 2003. EP10530.
Document Preview
Copyright information
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Access to the complete full text
This is a short preview of the document. Your library or institution may give you access to the complete full text for this document in ProQuest.
Alternatively, you can purchase a copy of the complete full text for this document directly from ProQuest using the option below: