Stem xhmbs$ (all stems)
1 papers:
HT-1998-PauloTOM #formal method #hypermedia #named #specification- XHMBS: A Formal Model to Support Hypermedia Specification (FBP, MAST, MCFdO, PCM), pp. 161–170.
HT-1998-PauloTOM #formal method #hypermedia #named #specification