	RSS 1.0
	RSS 2.0
	Atom

Home > Research > EPrints

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.

PDF
95Kb

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	Event Dates: July 1997
Uncontrolled Keywords:	automated theorem proving, software reuse, software component retrieval, formal methods
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
ePrint ID:	262905
Deposited On:	15 Aug 2006
Last Modified:	02 Mar 2012 14:04
Further Information:	Google Scholar

Associated Staff Only: edit my ePrint

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
ePrints Soton is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.