Fingerprint
Dive into the research topics of 'Linking Object-Z with Spec#'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Linking Object-Z with Spec#
Shengchao Qin, Guanhua He
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
122
Downloads
(Pure)