Stem seport$ (all stems)
1 papers:
RE-1997-EasterbrookC #experience #formal method #specification- Formal Methods for V&V of Partial Specifications: An Experience RSeport (SME, JRC), pp. 160–168.
RE-1997-EasterbrookC #experience #formal method #specification