Conditioned semantic slicing via abstraction and refinement in FermaT.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Ward, Martin
dc.contributor.author Zedan, Hussein
dc.contributor.author Hardcastle, T.
dc.date.accessioned 2010-03-30T08:28:35Z
dc.date.available 2010-03-30T08:28:35Z
dc.date.issued 2005
dc.identifier.citation Ward, M., Zedan, H. and Hardcastle, T. (2005) Conditioned semantic slicing via abstraction and refinement in FermaT. 9th European Conference on Software Maintenance and Reengineering, Manchester, 21-23 March 2005, pp. 178-187. en
dc.identifier.isbn 0769523048
dc.identifier.uri http://hdl.handle.net/2086/3628
dc.language.iso en en
dc.publisher IEEE en
dc.title Conditioned semantic slicing via abstraction and refinement in FermaT. en
dc.type Conference en
dc.researchgroup Software Technology Research Laboratory (STRL) en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record