Search for persons
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
1
Property Ownership Formal Modelling Using Event-B and iUML-:
, In:
?
Blockchain Technologies; AI and Blockchain Technology in 6G Wireless Network ,
2