SETHEO Goes Software Engineering: Application of ATP to Software Reuse


Fischer, Bernd and Schumann, Johann (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. In, 14th International Conference on Automated Deduction, Townsville, Springer Verlag, 65-68.

Download

[img] PDF
Download (95Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: July 1997
ISBNs: 3540631046
Keywords: automated theorem proving, software reuse, software component retrieval, formal methods
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 262905
Date Deposited: 15 Aug 2006
Last Modified: 27 Mar 2014 20:06
Publisher: Springer Verlag
Further Information:Google Scholar
ISI Citation Count:2
URI: http://eprints.soton.ac.uk/id/eprint/262905

Actions (login required)

View Item View Item