Stem netstub$ (all stems)
1 papers:
ASE-2007-BarlasB #distributed #framework #java #named #verification- Netstub: a framework for verification of distributed java applications (EB, TB), pp. 24–33.
ASE-2007-BarlasB #distributed #framework #java #named #verification