Truscova’s Post

Truscova reposted this

Professor at University of Bremen, Director at DFKI

11mo

A Guide to Smart Contract Verification https://lnkd.in/eYxvuP8r #blockchain #verification #testing #test #smartcontract #smartcontracts Muhammad Naiman Jalil Muhammad Hassan #truscova Truscova

To view or add a comment, sign in

Truscova

246 followers

View Profile Connect

Explore topics

翻译：