Stem leightweight$ (all stems)
1 papers:
ICSE-2001-DillonS #analysis #graph #specification #using- Leightweight Analysis of Operational Specifications Using Inference Graphs (LKD, KS), pp. 57–67.
ICSE-2001-DillonS #analysis #graph #specification #using