Stem deryaft$ (all stems)
1 papers:
ICSE-2008-MalikPUK #generative #invariant #named #representation- Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
ICSE-2008-MalikPUK #generative #invariant #named #representation