1,028 followers
@daniel_bilar @InfoQ Funny, I saw a presentation by Chalmers folks this morning on verification of smart contracts :-) https://t.co/xE0rGjhU2R
@daniel_bilar @InfoQ Funny, I saw a presentation by Chalmers folks this morning on verification of smart contracts :-) https://t.co/xE0rGjhU2R