Sciweavers

KBSE
2010
IEEE

Verification-driven slicing of UML/OCL models

13 years 1 months ago
Verification-driven slicing of UML/OCL models
Asadullah Shaikh, Robert Clarisó, Uffe Kock
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where KBSE
Authors Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
Comments (0)