https://deepai.org/publication/psamathe-a-dsl-with-flows-for-safe-blockchain-assets
10/09/20 - Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discove...
psamathedslflowssafeblockchain