Software Technologies: Applications and Foundations, STAF 2016 Collocated Workshops: 5th International Symposium on Data to Models and Back, DataMod 2016, 7th International Workshop on Graph Computation Models, GCM 2016, 3rd International Workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd International Workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd International Workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st International Workshop on Formal to Practical Software Verification and Composition, VeryComp 2016
Access
No online access links available
Citation
ID:
36262
References
Blockchain Verification
Account:
NFT Contract Address:
0x95644003c57E6F55A65596E3D9Eac6813e3566dA
Article ID:
36262
Unique Identifier:
Network:
Scimatic Chain (ID: 481)
Loading...
Blockchain Readiness Checklist
Authors
Abstract
Journal Name
Year
Title
Blockchain Upload Locked
Complete all 5 checklist items to tokenize your article